Process algebra with backtracking
- 1 January 1994
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Science and Business Media LLC ,2005
- A congruence theorem for structured operational semantics with predicatesLecture Notes in Computer Science, 1993
- Formal Specification and DesignPublished by Cambridge University Press (CUP) ,1992
- Process Algebra with Signals and ConditionsPublished by Springer Science and Business Media LLC ,1992
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- A Process Specification Formalism1Fundamenta Informaticae, 1990
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- Programming in PrologPublished by Springer Science and Business Media LLC ,1987