scientific article; zbMATH DE number 1497883

MaRDI QIDQ4499314zbMATH OpenFDO

Authors Michael Baldamus

Publication date 5 March 2001

zbMATH Keywords

\(\pi\)-calculusprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A compositional coalgebraic model of a fragment of fusion calculus
• A compositional coalgebraic model of fusion calculus
• The λ-calculus with constructors: Syntax, confluence and separation
• -calculus in (Co)inductive-type theory
• Coalgebraic approach for program behavior in comonads over toposes
• -calculus semantics for combinator calculi
• A compositional approach to defining logics for coalgebras
• A compositional semantics for the reversible -calculus
• Compositionality and model-theoretic interpretation
• scientific article; zbMATH DE number 1082078

Cited in

(3)

• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• An exercise on transition systems
• scientific article; zbMATH DE number 1927579 (Why is no real title available?)

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 Q4499314)