Closed action calculi
From MaRDI portal
Publication:1575888
DOI10.1016/S0304-3975(98)00355-7zbMath0954.68114MaRDI QIDQ1575888
Publication date: 23 August 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)
Related Items (4)
A categorical framework for typing CCS-style process communication ⋮ A general framework for types in graph rewriting ⋮ Dynamic connectors for concurrency ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
This page was built for publication: Closed action calculi
