CCS + time = an interleaving model for real time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 510 LNCS, Issue , 1991, Pages 217-228

  Yi, Wang ^a  

^a UNIVERSITY OF GOTHENBURG   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; INTERACTIVE COMPUTER SYSTEMS;

INTERLEAVING MODEL; REAL TIME; TIME VARIABLE;

REAL TIME SYSTEMS;

EID: 84888697746     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54233-7_136     Document Type: Conference Paper

References (13)

1. L. Chen and S. Anderson and F. Moller, A Timed Calculus of Communicating Systems, LFCS report-90-127, Edinburgh University, December 1990.
2. M. Hennessy and T. Regan, A Temporal Process Algebra, Report No 2/90, University of Sussex, April 1990.
3. A. Jeffrey, Linear Time Process Algebra, (submitted to CAV91), Dept, of Computer Sciences, Chalmers University, Sweden, March 1991.
4. R. Milner, Calculi for Synchrony and Asynchrony, TCS, Vol 25, 1983.
5. R. Milner, Communication and Concurrency, Prentice Hall, 1988.
6. F. Moller and C. Tofts, A Temperal Calculus of Communicating Systems, LNCS, No. 458, 1990.
7. Y. Ortega-M alien and D. de Frutos-Escrig, Timed Observations: a semantic model for real time concurrency, In M. Broy and C.B. Jones, editors, TC2-Working Conference on Programming Concepts and Methods, 1990.
8. W. P. de Roever and J. J. M. Hooman, Design and Verification of Real-time Distributed Computing: an Introduction to Compositional Methods, Proceeding of the 9th IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification, 1989.
9. G. M. Reed and A. W. Roscoe, A Timed Model for Communicating Sequential Processes, LNCS, No. 226, 1986.
10. J. Sifakis et al. The Algebra of Timed Processes ATP: Theory and Application, Laboratoire de Genie Informatique, IMAG-Campus, B.P.53X, 38041 Grenoble Cedex, France, December 1990.
11. Y. Wang, Real Time Behaviour of Asynchronous Agents, LNCS, No. 458, 1990.
12. Yi Wang, CCS + Time = an Interleaving Model for Real Time Systems, Nordic Workshop on Program Correctness (internal report), Aalborg University, Denmark, October 1990.
13. Y. Wang, A Calculus of Real Time Systems, Ph. D. thesis (in preparation), Dept. of Computer Sciences, Chalmers University, Sweden, 1991.