Impossibility results in the equational logic of processes

MaRDI QIDQ2863902zbMATHFDO

Authors Luca Aceto

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066107000412?np=y

zbMATH Keywords

concurrencyprocess algebraprioritybisimulationCCSequational logiccomplete axiomatizationsinterruptACPcommunication mergeHennessy's mergeleft merge

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Impossibility results in the equational logic of processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863902)