Analysis of equivalence relations of event structures with continuous time

Notions of testing and bisimulation equivalencies for concurrent nondeterministic processes in real (continuous) time are introduced and analyzed. Processes are represented by timed event structures. Conditions under which the equivalencies defined coincide are established, and algorithms for deciding equivalence are presented.

[1]  Glynn Winskel,et al.  An Introduction to Event Structures , 1989 .

[2]  Thomas A. Henzinger,et al.  The Observational Power of Clocks , 1994, CONCUR.

[3]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[4]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[5]  Rajeev Alur,et al.  Model-Checking in Dense Real-time , 1993, Inf. Comput..

[6]  Ilaria Castellani,et al.  Concurrency and Atomicity , 1988, Theor. Comput. Sci..

[7]  Rob J. van Glabbeek,et al.  The Linear Time - Branching Time Spectrum II , 1993, CONCUR.

[8]  David Murphy,et al.  Time and Duration in Nininterleaving Concurrency , 1993, Fundam. Informaticae.

[9]  Rocco De Nicola,et al.  Testing Equivalences for Event Structures , 1986, Mathematical Models for the Semantics of Parallelism.

[10]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[11]  Rance Cleaveland,et al.  A theory of testing for real-time , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[12]  Diego Latella,et al.  On Specifying Real-Time Systems in a Causality-Based Setting , 1996, FTRTFT.

[13]  Rocco De Nicola,et al.  Testing Equivalence for Processes , 1983, ICALP.

[14]  Rance Cleaveland,et al.  Testing equivalence as a bisimulation equivalence , 1989, Formal Aspects of Computing.

[15]  Bernhard Steffen,et al.  Deciding Testing Equivalence for Real-Time Processes with Dense Time , 1993, MFCS.

[16]  Mannes Poel,et al.  Layering of Real-Time Distributed Processes , 1994, FTRTFT.

[17]  Ursula Goltz,et al.  Causal Testing , 1996, MFCS.

[18]  Carsten Weise,et al.  Efficient Scaling-Invariant Checking of Timed Bisimulation , 1997, STACS.

[19]  Karlis Cerans,et al.  Decidability of Bisimulation Equivalences for Parallel Timer Processes , 1992, CAV.

[20]  R. V. Glabbeek.  The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves , 1993 .