Decidability Problems for Actor Systems

DOI10.2168/LMCS-10(4:5)2014zbMath1448.68337OpenAlexW2408739263MaRDI QIDQ5892063

Gianluigi Zavattaro, Mahdi M. Jaghoori, Cosimo Laneve, Frank S. de Boer

Publication date: 15 January 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-10(4:5)2014

zbMATH Keywords

well-structured transition systemsactorsembedding relationdecidability problems2-counter machinesrestful services

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)

Uses Software

• Rebeca
• Viptos

This page was built for publication: Decidability Problems for Actor Systems