Joint Papers

• Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
• Translating active objects into colored Petri nets for communication analysis
• Checking Modal Contracts for Virtually Timed Ambients
• Resource-Aware Virtually Timed Ambients
• Virtually timed ambients: A calculus of nested virtualization
• A Calculus of Virtually Timed Ambients
• Translating Active Objects into Colored Petri Nets for Communication Analysis
• Meeting Deadlines, Elastically.
• Safe Locking for Multi-Threaded Java with Exceptions
• ABS: A Core Language for Abstract Behavioral Specification
• Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance
• Safe Locking for Multi-Threaded Java
• Lazy Behavioral Subtyping
• Incremental Reasoning for Multiple Inheritance
• Lazy Behavioral Subtyping