Formal Methods in Software and Systems Modeling

DOI10.1007/b106390zbMath1075.68058MaRDI QIDQ5710425

Fabio Gadducci, Ugo Montanari

Publication date: 2 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106390

zbMATH Keywords

process calculi; DPO rewriting; concurrent semantics

Mathematics Subject Classification ID

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

68Q42: Grammars and rewriting systems

18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)

18C50: Categorical semantics of formal languages

Related Items

Synthesising CCS bisimulation using graph rewriting, Modelling Calculi with Name Mobility using Graphs with Equivalences, A Category of Explicit Fusions

Uses Software

• PLUMP