Formal Methods in Software and Systems Modeling
From MaRDI portal
Publication:5710415
DOI10.1007/b106390zbMath1075.68614OpenAlexW2492988005MaRDI QIDQ5710415
Amir Pnueli, Hillel Kugler, David Harel
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106390
Related Items (9)
Minimization of the number of clocks for timed scenarios ⋮ Integrating discrete controller synthesis into a reactive programming language compiler ⋮ Aggregating Causal Runs into Workflow Nets ⋮ Synthesis of Reo circuits from scenario-based interaction specifications ⋮ Verifying Communication Protocols Using Live Sequence Chart Specifications ⋮ Synthesis of Reo Circuits from Scenario-based Specifications ⋮ On the Power of Play-Out for Scenario-Based Programs ⋮ Some Results on the Expressive Power and Complexity of LSCs ⋮ Improving Translation of Live Sequence Charts to Temporal Logic
This page was built for publication: Formal Methods in Software and Systems Modeling