On constructibility and unconstructibility of LTS operators from other LTS operators

DOI10.1007/S00236-015-0217-2MaRDI QIDQ2340256zbMATH OpenOpenAlexFDO

Authors Antti Valmari

Publication date 16 April 2015

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-015-0217-2

zbMATH Keywords

labelled transition systems

Mathematics Subject Classification ID

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

Recommendations

• All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs
• All linear-time congruences for familiar operators
• On recursive operations over logic LTS
• The LTS workbench
• All congruences below stability-preserving fair testing or CFFD

Cites work

• Algèbre de processus et synchronisation
• All linear-time congruences for familiar operators
• Compositional failure-based semantic models for basic LOTOS
• Fair testing
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 3926231 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 1059329 (Why is no real title available?)
• Musings on encodings and expressiveness
• On cool congruence formats for weak bisimulations
• Structural operational semantics for weak bisimulations
• Structural operational semantics.
• The weakest deadlock-preserving congruence
• Towards a unified approach to encodability and separation results for process calculi
• Understanding concurrent systems

Cited in

(2)

• All congruences below stability-preserving fair testing or CFFD
• All linear-time congruences for familiar operators

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: On constructibility and unconstructibility of LTS operators from other LTS operators

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