From ATP to Timed Graphs and Hybrid Systems
作者： Xavier Nicollin , Joseph Sifakis , Sergio Yovine
DOI: 10.1007/BFB0032007
关键词:
摘要: The paper presents results of ongoing work aiming at the unification some behavioural description formalisms for timed systems.
springer.com
sci-hub.se 参考文章(8)
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)
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
Faron Moller, Chris Tofts, A temporal calculus of communicating systems international conference on concurrency theory. pp. 401- 415 ,(1990) , 10.1007/BFB0039073
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
J.A. Bergstra, Process algebra: specification and verification in bisimulation semantics CWI monographs. ,vol. 4, pp. 61- 94 ,(1986)
R. Alur, C. Courcoubetis, D. Dill, Model-checking for real-time systems logic in computer science. pp. 414- 425 ,(1990) , 10.1109/LICS.1990.113766
J.A. Bergstra, Jan Willem Klop, Algebra of communicating processes Department of Computer Science [CS]. pp. 1- 42 ,(1984)