Conditional axioms and α/β calculus in process algebra
Publication date
1987
Authors
Baeten, J.C.M.
Bergstra, J.A.
Klop, J.W.
Editors
Advisors
Supervisors
DOI
Document Type
Article in proceedings
Metadata
Show full item recordCollections
License
Abstract
Keywords
concurrency, process algebra, alphabet, conditional axioms