Implementing symbolic models for value passing in TwoTowers

DOI10.1007/3-540-46429-8_34MaRDI QIDQ2729045zbMATH OpenFDO

Authors Marco Bernardo

Publication date 23 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46429-8_34

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• A symbolic approach to value-passing processes
• scientific article; zbMATH DE number 860048
• Symbolic semantic rules for producing compact STGLAs from value passing process descriptions
• NTIF: A general symbolic model for communicating sequential processes with data
• A symbolic semantics for abstract model checking

Cited in

(2)

• A symbolic approach to value-passing processes
• Equivalence checking 40 years after: a review of bisimulation tools

This page was built for publication: Implementing symbolic models for value passing in TwoTowers

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