Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems

DOI10.1007/978-3-030-10801-4_38zbMath1444.68126OpenAlexW2908967370MaRDI QIDQ2206253

Yanyan Li

Publication date: 22 October 2020

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38920

zbMATH Keywords

1-selecting modal transition system (1MTS)comparative expressivenessmodal transition system (MTSs)product-line calculus of communicating systems (PL-CCS)

Mathematics Subject Classification ID

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

Related Items (1)

Modal transition system encoding of featured transition systems

This page was built for publication: Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems