Behavioral Contracts for Cooperative Scheduling

This publication has 47 references indexed in Scilit:

• Dynamic Logic for Java
  2016
• Deductive Software Verification – The KeY Book
  2016
• May-Happen-in-Parallel Analysis for Actor-Based Concurrency
  ACM Transactions on Computational Logic, 2015
• Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
  Electronic Proceedings in Theoretical Computer Science, 2012
• A system for compositional verification of asynchronous objects
  Science of Computer Programming, 2012
• Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
  Lecture Notes in Computer Science, 2012
• SCOOP – Concurrency Made Easy
  2006
• A Dynamic Logic for the Formal Verification ofJava Card Programs
  Lecture Notes in Computer Science, 2001
• Conjoining specifications
  ACM Transactions on Programming Languages and Systems, 1995
• The incremental garbage collection of processes
  1977