Behavior-Based Model Construction
Abstract elided by the publisher.
Related papers
- Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016
- A formalization of Java's concurrent access modes OOPSLA 2019
- YABS: a domain-specific language for pervasive computing based on stigmergy GPCE 2006
- A Mathematical Approach to Nondeterminism in Data Types TOPLAS 1988
- Understanding energy behaviors of thread management constructs OOPSLA 2014
- Circal and the Representation of Communication, Concurrency, and Time TOPLAS 1985
- HotDrink: a library for web user interfaces GPCE 2012
- Synthesis of Universal Safety Controllers TACAS 2025