Communicating sequential processes
Communicating sequential processes
Extensional equivalence for transition systems
Acta Informatica
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Testing equivalences for event structures
Advanced School on Mathematical models for the semantics of parallelism
Observation equivalence as a testing equivalence
Theoretical Computer Science
Theoretical Computer Science
Lotos specifications, their implementations and their tests
Conformance testing methodologies and architectures for OSI protocols
Quiescence, fairness, testing, and the notion of implementation
Information and Computation
Communication and Concurrency
A Testing Theory for LOTOS using Deadlock Detection
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Relationships Between Models of Concurrency
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Relationships Between Models of Concurrency
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Testing Systems Specified as Partial Order Input/Output Automata
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
TIME '10 Proceedings of the 2010 17th International Symposium on Temporal Representation and Reasoning
Testing input/output partial order automata
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |
We propose a theoretical framework for testing concurrent systems from true concurrency models like Petri nets or networks of automata. The underlying model of computation of such formalisms are labeled event structures, which allow to represent concurrency explicitly. The activity of testing relies on the definition of a conformance relation that depends on the observable behaviors on the system under test, which is given for sequential systems by ioco type relations. However, these relations are not capable of capturing and exploiting concurrency of non sequential behavior. We study different conformance relations for labeled event structures, relying on different notions of observation, and investigate their properties and connections.