scientific article; zbMATH DE number 1231669
From MaRDI portal
Publication:4222997
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)- A partial ordering semantics for CCS
- Twenty years of rewriting logic
- Concurrencies in reversible concurrent calculi
- An interpretation of CCS into ludics
- scientific article; zbMATH DE number 4035159 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 4085007 (Why is no real title available?)
- scientific article; zbMATH DE number 4074504 (Why is no real title available?)
- 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)
