Modal Logic and Equality for Process Algebra
This paper provides a denotational semantics for the 'saturation method', described by J. A. Bergstra and J. W. Klop, in the form of a modal logic. In particular the semantics describes congruence for CCS processes in the form of a modal logic whose axioms are a modal representation of the...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
1996.
|
| Subjects: | |
| Online Access: | Get fulltext |