Quantifying the dynamic behavior of process algebras

DOI10.1007/3-540-44804-7_12MaRDI QIDQ4798042zbMATH OpenFDO

Authors Peter Buchholz, Peter Kemper

Publication date 18 March 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2165/21650184.htm

zbMATH Keywords

bisimulationcongruenceprocess algebrassemiring

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• Expressiveness of process algebras
• Process Algebra
• A process algebra for probabilistic and nondeterministic processes
• Process algebra and model checking
• Towards action-refinement in process algebras
• scientific article; zbMATH DE number 4180788
• Dynamic consistency in process algebra: from paradigm to ACP

Cited in

(13)

• An ``abstract process approach to algebraic dynamic architecture description
• Bisimulation relations for weighted automata
• Deriving Syntax and Axioms for Quantitative Regular Behaviours
• Weighted Bisimulation in Linear Algebraic Form
• Structural congruence for bialgebraic semantics
• There are two sides to every question. Controller versus attacker
• scientific article; zbMATH DE number 3974310 (Why is no real title available?)
• Quantitative Kleene coalgebras
• Enhanced coalgebraic bisimulation
• Model checking for a class of weighted automata
• Semiring-based specification approaches for quantitative security
• Concurrent weighted logic
• Cost-related interface for software product lines

This page was built for publication: Quantifying the dynamic behavior of process algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4798042)