Real-Timed Concurrent Refineable Behaviours

The purpose of this paper is to present a real-timed concurrency theory incorporating true concurrency and event refinement. The theory is based on the occurrences of actions; each occurrence or event has a start and a finish. Causality is modelled by assigning a strict partial order to these starts and finishes, while timing is modelled by giving them reals.

[1]  Amir Pnueli,et al.  Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.

[2]  Grzegorz Rozenberg,et al.  Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency , 1988, Lecture Notes in Computer Science.

[3]  Rob J. van Glabbeek,et al.  Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.

[4]  Jim Davies,et al.  Specification and proof in real-time systems , 1991 .

[5]  Shai Ben-David,et al.  On Global-Time and Inter-process Communication , 1990 .

[6]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[7]  David V. J. Murphy.  Time, causality, and concurrency , 1989 .

[8]  Philippe Darondeau,et al.  Event Structures, Causal Trees, and Refinements , 1990, MFCS.

[9]  Walter Vogler,et al.  Bisimulation and Action Refinement , 1991, Theor. Comput. Sci..

[10]  Matthew Hennessy,et al.  Distributed bisimulations , 1989, JACM.

[11]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[12]  Jay L. Gischer,et al.  The Equational Theory of Pomsets , 1988, Theor. Comput. Sci..

[13]  Matthew Hennessy,et al.  Observing Localities , 1993, Theor. Comput. Sci..

[14]  M. Joseph,et al.  Relating Computation and Time , 1989 .

[15]  Matthew Hennessy,et al.  A Temporal Process Algebra , 1990, FORTE.

[16]  Ursula Goltz,et al.  Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) , 1989, MFCS.

[17]  Ernst-Rüdiger Olderog,et al.  Nets, terms and formulas , 1991 .

[18]  David Murphy.  The Physics of Observation a Perspective for Concurrency Theorists , 1991, Bull. EATCS.

[19]  L. Aceto.  Action refinement in process algebras , 1992 .

[20]  Mannes Poel,et al.  Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach , 1991, CONCUR.

[21]  Marly Roncken,et al.  A Denotational Semantics for Synchronous and Asynchronous Behavior with Multiform Time , 1990 .

[22]  Vaughan R. Pratt,et al.  The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial , 1984, Seminar on Concurrency.

[23]  Anna Labella,et al.  On Continuous Time Agents , 1991, MFPS.

[24]  K. V. S. Prasad.  A Calculus of Broadcasting Systems , 1991, TAPSOFT, Vol.1.

[25]  Marek Antoni Bednarczyk,et al.  Categories of asynchronous systems , 1987 .

[26]  Andrea Maggiolo-Schettini,et al.  Towards an Algebra for Timed Behaviours , 1992, Theor. Comput. Sci..