Process Algebra for Discrete Event SimulationP
暂无分享,去创建一个
[1] Christopher Strachey,et al. A theory of programming language semantics , 1976 .
[2] Amir Pnueli,et al. Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.
[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[4] Faron Moller,et al. A Temporal Calculus of Communicating Systems , 1990, CONCUR.
[5] Wang Yi,et al. CCS + Time = An Interleaving Model for Real Time Systems , 1991, ICALP.
[6] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, CAV.
[7] Yi Wang. A calculus of real time systems , 1991 .
[8] Hans A. Hansson. Time and probability in formal design of distributed systems , 1991, DoCS.
[9] Liang Chen,et al. An Interleaving Model for Real-Time Systems , 1992, LFCS.
[10] Faron Moller,et al. Behavioural Abstraction in TCCS , 1992, ICALP.
[11] Matthew Hennessy,et al. A Process Algebra for Timed Systems , 1995, Inf. Comput..
[12] Steve A. Schneider,et al. An Operational Semantics for Timed CSP , 1995, Inf. Comput..