#### Filter Results:

- Full text PDF available (16)

#### Publication Year

1997

2017

- This year (0)
- Last 5 years (5)
- Last 10 years (17)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Muffy Calder, Savi Maharaj, Carron Shankland
- Comput. J.
- 2002

Symbolic transition systems separate data from process behaviour by allowing the data to be uninstantiated Designing a HML like modal logic for these transition systems is interesting because of theâ€¦ (More)

- Muffy Calder, Carron Shankland
- FORTE
- 2001

A symbolicsemantics for Full LOTOS in terms of symbolic transition systemsis defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to data parameterisedâ€¦ (More)

- Muffy Calder, Savi Maharaj, Carron Shankland
- FME
- 2001

We present a novel result for a logic for symbolic transition systems based on LOTOS processes The logic is adequate with respect to bisimulation de ned on symbolic transition systems

- Chris McCaig, Rachel Norman, Carron Shankland
- Theor. Comput. Sci.
- 2011

A new semantics in terms of Mean Field Equations is presented for WSCCS (Weighted Synchronous Calculus of Communicating Systems). The semantics captures the average behaviour of the system over time,â€¦ (More)

- Carron Shankland, Muffy Calder
- AMAST
- 1997

A symbolic semantics for Full LOTOS in terms of symbolic transition systems is deened, following the approach taken for message passing CCS in HL95a], altered to take account of the particularâ€¦ (More)

- Carron Shankland, Mark van der Zwaag
- Formal Aspects of Computing
- 1998

We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three different levels of detail using Î¼CRL. We use the cones and foci verification technique ofâ€¦ (More)

- Chris McCaig, Rachel Norman, Carron Shankland
- Mathematics in Computer Science
- 2009

Is it possible to symbolically express and analyse an individualbased model of disease spread, including realistic population dynamics? This problem is addressed through the use of process algebraâ€¦ (More)

In many domain areas the behaviour of a system can be described at two levels: the behaviour of individual components, and the behaviour of the system as a whole. Often deriving one from the other isâ€¦ (More)

- Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland
- Electr. Notes Theor. Comput. Sci.
- 2009

We present two individual based models of disease systems using PEPA (Performance Evaluation Process Algebra). The models explore contrasting mechanisms of disease transmission: direct transmissionâ€¦ (More)