|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 13 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chris McCaig, Rachel Norman, Carron Shankland |
From individuals to populations: A mean field semantics for process algebra.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Marco, David Cairns, Carron Shankland |
Optimisation of process algebra models using evolutionary computation. |
IEEE Congress on Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland |
Improved Continuous Approximation of PEPA Models through Epidemiological Examples. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris McCaig, Rachel Norman, Carron Shankland |
From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. |
Mathematics in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
mean field equations, Process algebra, symbolic computation, epidemiology, population dynamics |
| 1 | Chris McCaig, Rachel Norman, Carron Shankland |
Process Algebra Models of Population Dynamics. |
AB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Savi Maharaj, Carron Shankland, Charles Rattray |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Rattray, Savi Maharaj, Carron Shankland (eds.) |
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings |
AMAST |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carron Shankland, Jeremy Bryans, Lionel Morel |
Expressing Iterative Properties Logically in a Symbolic Setting. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation |
| 1 | Dexter Kozen, Carron Shankland (eds.) |
Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings |
MPC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Colin J. Fidge, Carron Shankland |
But What if I Don't Want to Wait Forever? |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
IEEE 1394a, Verification, Formal specification, Probabilistic reasoning, IEEE 1394 |
| 1 | John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland |
Editorial. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Robinson, Carron Shankland |
Combating Infinite State Using Ergo. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Norman, Carron Shankland |
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Muffy Calder, Savi Maharaj, Carron Shankland |
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carron Shankland, Alberto Verdejo |
A case study in abstraction using E-LOTOS and the FireWire. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, Carron Shankland |
Implementing a Modal Logic over Data and Processes using XTL. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Muffy Calder, Carron Shankland |
A Symbolic Semantics and Bisimulation for Full LOTOS. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Muffy Calder, Savi Maharaj, Carron Shankland |
An Adequate Logic for Full LOTOS. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Savi Maharaj, Carron Shankland |
A Survey of Formal Methods Applied to Leader Election in IEEE 1394. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carron Shankland, Mark van der Zwaag |
The Tree Identify Protocol of IEEE 1394 in µCRL. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Verification of distributed systems, Leader election protocols, Process algebra |
| 1 | Carron Shankland, Muffy Thomas |
Symbolic Bisimulation for Full LOTOS. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")