scientific article; zbMATH DE number 1231669
From MaRDI portal
Publication:4222997
zbMATH Open0917.68126MaRDI QIDQ4222997FDOQ4222997
Authors: Georgia Carabetta, Pierpaolo Degano 
Publication date: 7 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15018
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 4074504
- A causal semantics for CCS via rewriting logic
- Representing CCS programs by finite predicate-transition nets
- An algebraic semantics for structured transition systems and its application to logic programs
- scientific article; zbMATH DE number 3936485
- Logical semantics for the rewriting calculus
- Proving structural properties of sequent systems in rewriting logic
- scientific article; zbMATH DE number 1722708
- A Propositional Dynamic Logic for CCS Programs
- Proof of termination of the rewriting system SUBSET on CCL
Cited In (17)
- Twenty years of rewriting logic
- A partial ordering semantics for CCS
- Concurrencies in reversible concurrent calculi
- An interpretation of CCS into ludics
- Title not available (Why is that?)
- Cyclic hypersequent system for transitive closure logic
- Executable structural operational semantics in Maude
- A compositional proof system on a category of labelled transition systems
- The Decidability of the Reachability Problem for CCS!
- Presheaf models for CCS-like languages
- A causal semantics for CCS via rewriting logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Maude: specification and programming in rewriting logic
- An algebraic view of interleaving and distributed operational semantics for CCS
- Rewriting logic: Roadmap and bibliography
- Rigid families for CCS and the \(\pi\)-calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222997)
