Decomposing monolithic processes in a process algebra with multi-actions

DOI10.1016/J.JLAMP.2023.100858OpenAlexW3204826003MaRDI QIDQ2693301

Maurice Laveaux, Tim A. C. Willemse

Publication date: 20 March 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2110.00147

zbMATH Keywords

decompositionprocess algebrabisimulationmonolithic processes

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• mCRL2
• CADP
• Exp.Open

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Invariants for the construction of a handshake register
• Symbolic bisimulations
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• Compositional minimisation of finite state systems using interface specifications
• Branching Bisimilarity with Explicit Divergence
• State Space Reduction of Linear Processes Using Control Flow Reconstruction
• Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account

This page was built for publication: Decomposing monolithic processes in a process algebra with multi-actions