( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Modal Logic for Full LOTOS based on Symbolic Transition Systems.

, , и . Comput. J., 45 (1): 55-61 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Carron Claire Elizabeth Johnson

 

Другие публикации лиц с тем же именем

Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra., , , и . FM, том 7436 из Lecture Notes in Computer Science, стр. 101-115. Springer, (2012)Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge., , и . AAAI, стр. 676-681. AAAI Press / The MIT Press, (2005)Implementing a Modal Logic over Data and Processes using XTL., и . FORTE, том 197 из IFIP Conference Proceedings, стр. 201-218. Kluwer, (2001)From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology., , и . Math. Comput. Sci., 2 (3): 535-556 (2009)Combating Infinite State Using Ergo., и . FORTE, том 2767 из Lecture Notes in Computer Science, стр. 144-159. Springer, (2003)Symbolic Bisimulation for Full LOTOS., и . AMAST, том 1349 из Lecture Notes in Computer Science, стр. 479-493. Springer, (1997)A rigorous approach to investigating common assumptions about disease transmission., , , и . Theory Biosci., 130 (1): 19-29 (2011)A case study in abstraction using E-LOTOS and the FireWire., и . Comput. Networks, 37 (3/4): 481-502 (2001)A Symbolic Semantics and Bisimulation for Full LOTOS., и . FORTE, том 197 из IFIP Conference Proceedings, стр. 185-200. Kluwer, (2001)Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease., и . EUROCAST, том 2809 из Lecture Notes in Computer Science, стр. 404-414. Springer, (2003)