Fair testing (1995)

by Arend Rensink , Walter Vogler
Venue:Concur ’95: Concurrency Theory, volume 962 of Lecture Notes in Computer Science
Citations:58 - 0 self

Documents Related by Co-Citation

41 Divergence and Fair Testing – V. Natarajan, Rance Cleaveland - 1995
3204 Communication and Concurrency – R Milner - 1989
404 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
3400 Communicating Sequential Processes – C. A. R. Hoare - 1985
109 Services Choreography Description Language Version 1.0. W3C – Web - 2004
84 Structured Communication-Centred Programming for Web Services – Marco Carbone, Kohei Honda, Nobuko Yoshida - 2007
14 Gianluigi Zavattaro. Choreography and orchestration conformance for system design – Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi - 2006
24 A formal account of contracts for web services – S. Carpineti, G. Castagna, C. Laneve, L. Padovani, École Normale Supérieure De Paris - 2006
5 and Gianluigi Zavattaro. Contract based Multi-party Service Composition – Mario Bravetti - 2007
228 services business process execution language version 2.0. Available at http://docs.oasis-open.org/ ws BPEL/2.0/ ws BPELv2.0.html – Web
393 Algebraic Theory of Processes – M Hennessy - 1988
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
15 An Algebraic Theory of Fair Asynchronous Communicating – M Hennessy - 1987
2408 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
16 Failures without chaos: A new process semantics for fair abstraction – J A Bergstra, J W Klop, E-R Olderog - 1987
241 The reflexive chemical abstract machine and the join-calculus – Cédric Fournet, Georges Gonthier
54 The Join-Calculus: a Calculus for Distributed Mobile Programming – C Fournet - 1998
13 failure and testing equivalences for communicating processes – Trace - 1987
58 A Hierarchy of Equivalences for Asynchronous Calculi – Cedric Fournet, Georges Gonthier - 2003