An Overview and Synthesis on Timed Process Algebras
作者： Xavier Nicollin , Joseph Sifakis
DOI: 10.1007/BFB0032006
关键词:
摘要: We present an overview and synthesis of existing results about process algebras for the specification analysis timed systems. The motivation is double: some relevant representative approaches suggest a unifying framework them.
springer.com
sci-hub.se 参考文章(18)
Yi Wang, Real-time behaviour of asynchronous agents international conference on concurrency theory. pp. 502- 520 ,(1990) , 10.1007/BFB0039080
Xavier Nicollin, Joseph Sifakis, Jean-Luc Richier, Jacques Voiron, ATP: an Algebra for Timed Processes. Programming Concepts and Methods. pp. 415- 442 ,(1990)
Matthew Hennessy, Tim Regan, A Temporal Process Algebra formal techniques for (networked and) distributed systems. pp. 33- 48 ,(1990)
Wang Yi, CCS + Time = An Interleaving Model for Real Time Systems international colloquium on automata languages and programming. pp. 217- 228 ,(1991) , 10.1007/3-540-54233-7_136
A. S. Klusener, Completeness in Real Time Process Algebra international conference on concurrency theory. pp. 376- 392 ,(1991) , 10.1007/3-540-54430-5_101
Faron Moller, Chris Tofts, A temporal calculus of communicating systems international conference on concurrency theory. pp. 401- 415 ,(1990) , 10.1007/BFB0039073
T. Bolognesi, F. Lucidi, LOTOS-like Process Algebras with Urgent or Timed Interactions formal techniques for (networked and) distributed systems. pp. 249- 264 ,(1991) , 10.1016/B978-0-444-89402-1.50027-8
Xavier Nicollin, Joseph Sifakis, Sergio Yovine, From ATP to Timed Graphs and Hybrid Systems real time theory in practice rex workshop. pp. 549- 572 ,(1991) , 10.1007/BFB0032007
Gérard Berry, Laurent Cosserat, The ESTEREL Synchronous Programming Language and its Mathematical Semantics international conference on concurrency theory. pp. 389- 448 ,(1984) , 10.1007/3-540-15670-4_19
Daniel Pilaud, John Plaice, Paul Caspi, Nicolas Halbwachs, LUSTRE: A declarative language for programming synchronous systems* POPL. pp. 178- 188 ,(1987)