Impossibility results in the equational logic of processes

zbMATH Open1276.68117MaRDI QIDQ2863902FDOQ2863902

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)