M. Abadi and A. D. Gordon, A calculus for cryptographic protocols, Proceedings of the 4th ACM conference on Computer and communications security , CCS '97, pp.36-47, 1997.
DOI : 10.1145/266420.266432

R. Amadio and C. Meyssonnier, On decidability of the control reachability problem in the asynchronous ??calculus, Nordic Journal of Computing, vol.9, issue.2, 2002.

J. C. Baeten and J. A. Bergstra, Real time process algebra, Formal Aspects of Computing, vol.58, issue.2, pp.142-188, 1991.
DOI : 10.1007/BF01898401
URL : http://dspace.library.uu.nl:8080/handle/1874/12735

J. A. Bergstra and J. W. Klop, Algebra of communicating processes with abstraction, Theoretical Computer Science, vol.37, issue.1, pp.77-121, 1985.
DOI : 10.1016/0304-3975(85)90088-X

J. R. Buchi, On a Decision Method in Restricted Second Order Arithmetic, Proc. Int. Cong. on Logic, Methodology, and Philosophy of Science, pp.1-11, 1962.
DOI : 10.1007/978-1-4613-8928-6_23

J. C. Baeten and W. P. Weijland, Process Algebra, 1990.

S. Christensen, H. Huttel, and F. Moller, Bisimulation equivalence is decidable for basic parallel processes, CONCUR'93, pp.143-157, 1993.
DOI : 10.1007/3-540-57208-2_11

S. Christensen, H. Huttel, and C. Stirling, Bisimulation equivalence is decidable for all context-free processes, Information and Computation, vol.96, pp.203-224, 1992.

P. Cory, E. Hobart, and H. Tracy, Radar-based intruder detection for a robotic security system, Proc. of SPIE, 1999.

V. Gupta and V. Pratt, Gates accept concurrent behavior, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, pp.62-71, 1993.
DOI : 10.1109/SFCS.1993.366881

A. Grzegorczyk, On the definition of computable real continuous functions, Fund. Math, vol.44, pp.61-71, 1957.

C. A. Hoare, Communications Sequential Processes, 1985.

C. A. Hoare, Let's make models, Proc. of CONCUR '90, 1990.
DOI : 10.1007/BFb0039049

L. Lamport, Answer to Pratt Availabe via http, Concurrency Mailing List Archive, vol.19, 1990.

R. Milner, Processes: A Mathematical Model of Computing Agents, Proc. Logic Colloquium 73, pp.257-274, 1973.
DOI : 10.1016/S0049-237X(08)71948-7

R. Milner, Communication and Concurrency. International Series in Computer Science, 1989.

R. Milner, Operational and Algebraic Semantics of Concurrent Processes, pp.1203-1241, 1990.
DOI : 10.1016/B978-0-444-88074-1.50024-X

R. Milner, Communicating and Mobile Systems: the ?-calculus, 1999.

R. Milner, Bigraphical reactive systems, Proc. of CONCUR '02, 2002.
DOI : 10.1007/3-540-44685-0_2

Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Specification, 1991.

U. Montanari and F. Rossi, Graph rewriting and constraint solving for modelling distributed systems with synchronization, Proc. of COORDINATION '96, pp.12-27, 1996.

C. Palamidessi, Comparing the expressive power of the synchronous and the asynchronous pi-calculus, POPL'97, pp.256-265, 1997.

C. A. Petri, Fundamentals of a theory of asynchronous information flow, Proc. IFIP Congress '62, 1962.

G. Plotkin, A structural approach to operational semantics, 1981.

G. Plotkin, The origins of structural operational semantics, Journal of Logic and Algebraic Programming, pp.60-613, 2004.

G. Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming, pp.60-6117, 2004.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

G. M. Reed and A. W. Roscoe, A timed model for communication sequential processes, Theoretical Computer Science, vol.8, pp.249-261, 1988.

C. Stirling, Decidability of bisimulation equivalence for normed pushdown processes, CONCUR'96, pp.217-232, 1996.

C. Stirling, Bisimulation, model checking and other games, Notes for Mathfit Instructural Meeting on Games and Computation, 1998.

D. Sangiorgi and D. Walker, The ??calculus: A Theory of Mobile Processes, 2001.

W. Yi, A Calculus for Real Time Systems, 1991.

W. M. Zuberek, Timed Petri nets and preliminary performance evaluation, Proceedings of the 7th annual symposium on Computer Architecture , ISCA '80, pp.88-96, 1980.
DOI : 10.1145/800053.801913