Failure-equivalent transformation of transition systems to avoid internal actions

DOI10.1016/0020-0190(92)90110-HzbMath0795.68145OpenAlexW2055603670MaRDI QIDQ1209375

Gregor von Bochmann, Cheng Wu, Gang Luo, Anindya Das

Publication date: 16 May 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90110-h

zbMATH Keywords

process algebralabelled transition systemsLOTOSsoftware validationfailure equivalenceinternal actionsdistributed software systems

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) Theory of software (68N99)

Uses Software

• LOTOS

Cites Work

• Unnamed Item
• Extensional equivalences for transition systems
• Finite representations of CCS and TCSP programs by automata and Petri nets
• A Theory of Communicating Sequential Processes
• Communicating sequential processes

This page was built for publication: Failure-equivalent transformation of transition systems to avoid internal actions