1988
A complete inference system for regular processes with silent moves
Publication
Publication
Presented at the
Logic Colloquium, Hull, UK
Additional Metadata | |
---|---|
, | |
Elsevier | |
Studies in logic and the foundations of mathematics | |
Logic Colloquium | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., & Klop, J. W. (1988). A complete inference system for regular processes with silent moves. In Logic Colloquium \\\ (pp. 21–81). Elsevier. |