Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Egon Börger
Latest
A Lean Reflective Abstract State Machine Definition
A Characterization of Distributed ASMs with Partial-Order Runs
A Compact Encoding of Sequential ASMs in Event-B
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
Specifying Transaction Control to Serialize Concurrent Program Executions
Contribution to a Rigorous Analysis of Web Application Frameworks
Synchronous Message Passing and Semaphores: An Equivalence Proof
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Cite
×