Describing a Signal Analyzer in the Process Algebra PMC - A Case Study

In this paper we take a look at real-time systems from an implementation-oriented perspective. We are interested in the formal description of genuinely distributed systems whose correct functional behaviour depends on real-time constraints. The question of how to combine real-time with distributed processing in a clean and satisfactory way is the object of our investigation.

[1]  Aleksy Schubert,et al.  The EML Kit Version 1 , 1996 .

[2]  Nicolas Halbwachs,et al.  Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language , 1989, Automatic Verification Methods for Finite State Systems.

[3]  Matthew Hennessy,et al.  Symbolic Bisimulations , 1995, Theor. Comput. Sci..

[4]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

[5]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[6]  Liang Chen,et al.  An Interleaving Model for Real-Time Systems , 1992, LFCS.

[7]  Grzegorz Rozenberg,et al.  Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings , 1992 .

[8]  C. A. R. Hoare,et al.  A Calculus of Durations , 1991, Inf. Process. Lett..

[9]  Faron Moller,et al.  A Temporal Calculus of Communicating Systems , 1990, CONCUR.

[10]  Matthew Hennessy,et al.  A Process Algebra for Timed Systems , 1995, Inf. Comput..

[11]  Wang Yi,et al.  Real-Time Behaviour of Asynchronous Agents , 1990, CONCUR.

[12]  Jozef Hooman,et al.  Specification and Compositional Verification of Real-Time Systems , 1991, Lecture Notes in Computer Science.

[13]  Robin Milner,et al.  Definition of standard ML , 1990 .

[14]  Jim Davies,et al.  Timed CSP: Theory and Practice , 1991, REX Workshop.

[16]  David Murphy,et al.  On the Ill-Timed but Well-Caused , 1993, CONCUR.

[17]  Robin Milner,et al.  Modal Logics for Mobile Processes , 1991, Theor. Comput. Sci..

[18]  Joseph Sifakis,et al.  The Algebra of Timed Processes, ATP: Theory and Application , 1994, Inf. Comput..

[19]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[20]  S. Ramesh,et al.  Communicating reactive processes , 1993, POPL '93.

[21]  A. W. Roscoe,et al.  A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..

[22]  Gérard Berry,et al.  The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.