scientific article; zbMATH DE number 517055

MaRDI QIDQ4282583zbMATH OpenFDO

Authors Stefano Kasangian, Sebastiano Vigna, Pierpaolo Degano

Publication date 17 March 1994

zbMATH Keywords

bisimulationcongruencesfinite concurrent calculuslabelled finite treesmotorssemantics

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Algebraic theory of languages and automata (68Q70)

Recommendations

• Tree process calculus
• scientific article; zbMATH DE number 1638648
• Enriched categorical semantics for distributed calculi
• Trees and semantics
• Trees from functions as processes

Cited in

(8)

• A theory of bisimulation for the -calculus
• scientific article; zbMATH DE number 1638648 (Why is no real title available?)
• Trees from functions as processes
• πI: A symmetric calculus based on internal mobility
• Proved trees
• Tree process calculus
• A process-calculus analysis of concurrent operations on B-trees
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

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