Experiments on processes with backtracking

  • Ph. Schnoebelen
Selected Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 527)


We investigate trace-, ready-, failure-based equivalences of processes when the user is provided with a special undo-button allowing to take back steps. Such undo-buttons were first suggested in [vG90]. This gives rise to new semantic equivalences and to new characterizations of old ones. We investigate congruence properties and full abstraction problems for a CCS-like process algebra.


Testing Scenario Time Spectrum Label Transition System Congruence Property Semantic Equivalence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abr87]
    S. Abramsky. Observation equivalence as a testing equivalence. Theoretical Computer Science, 53:225–241, 1987.Google Scholar
  2. [BBK85]
    J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. Ready Trace Semantics for Concrete Process Algebra with Priority Operator. Research Report CS-R8517, CWI, 1985.Google Scholar
  3. [BIM88]
    B. Bloom, S. Istrail, and A. R. Meyer. Bisimulation can't be traced: preliminary report. In Proc. 15th ACM Symp. Principles of Programming Languages, San Diego, CA, pages 229–239, January 1988.Google Scholar
  4. [BK86]
    J. A. Bergstra and J. W. Klop. Algebra of communicating processes. In J. W. de Bakker et al., editor, CWI Monographs I, Proc. CWI Symp. Math. and Comp. Sci., pages 89–138, North-Holland, 1986.Google Scholar
  5. [BKO88]
    J. A. Bergstra, J. W. Klop, and E.-R. Olderog. Readies and failures in the algebra of communicating processes. SIAM Journal on Computing, 17(6):1134–1177, December 1988.Google Scholar
  6. [Blo89a]
    B. Bloom. Partial Traces and the Semantics and Logic of CCS-Like languages. Tech. Report 89-1066, Cornell University, Ithaca, NY, December 1989.Google Scholar
  7. [Blo89b]
    B. Bloom. Ready Simulation, Bisimulation, and the Semantics of CCS-Like Languages. PhD thesis, MIT, September 1989.Google Scholar
  8. [DNV90]
    R. De Nicola and F. Vaandrager. Three logics for branching bisimulation (extended abstract). In Proc. 5th IEEE Symp. Logic in Computer Science, Philadelphia, PA, pages 118–129, June 1990.Google Scholar
  9. [Gro90]
    J. F. Groote. Transition system specifications with negative premisses. In Proc. CONCUR'90, Amsterdam, LNCS 458, pages 332–341, Springer-Verlag, August 1990.Google Scholar
  10. [GV88]
    J. F. Groote and F. W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. Research Report CS-R8845, CWI, November 1988.Google Scholar
  11. [HM80]
    M. Hennessy and R. Milner. On observing nondeterminism and concurrency. In Proc. 7th ICALP, Noordwijkerhout, LNCS 85, pages 299–309, Springer-Verlag, July 1980.Google Scholar
  12. [HM85]
    M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137–161, January 1985.Google Scholar
  13. [LS89]
    K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. In Proc. 16th ACM Symp. Principles of Programming Languages, Austin, Texas, pages 344–352, January 1989.Google Scholar
  14. [Mil80]
    R. Milner. A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.Google Scholar
  15. [Mil81]
    R. Milner. A model characterisation of observable machine-behaviour. In Proc. CAAP 81, Genoa, LNCS 112, pages 25–34, Springer-Verlag, March 1981.Google Scholar
  16. [Mil90]
    R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, chapter 19, pages 1201–1242, Elsevier Science Publishers, 1990.Google Scholar
  17. [Par81]
    D. Park. Concurrency and automata on infinite sequences. In Proc. 5th GI Conf. on Th. Comp. Sci., LNCS 104, pages 167–183, Springer-Verlag, March 1981.Google Scholar
  18. [Pnu85]
    A. Pnueli. Linear and branching structures in the semantics and logics of reactive systems. In Proc. 12th ICALP, Nafplion, LNCS 194, pages 15–32, Springer-Verlag, July 1985.Google Scholar
  19. [Sch91]
    Ph. Schnoebelen. Experiments on Processes with Backtracking. Research Report, LIFIAIMAG, Grenoble, June 1991.Google Scholar
  20. [vG90]
    R. J. van Glabbeek. The Linear Time — Branching Time Spectrum. Research Report CS-R9029, CWI, July 1990.Google Scholar
  21. [vGSST90]
    R. J. van Glabbeek, S. A. Smolka, B. Steffen, and C. M. N. Tofts. Reactive, generative, and stratified models of probabilistic processes. In Proc. 5th IEEE Symp. Logic in Computer Science, Philadelphia, PA, pages 130–141, June 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Ph. Schnoebelen
    • 1
  1. 1.LIFIA-IMAGGrenoble CedexFrance

Personalised recommendations