scientific article; zbMATH DE number 1283472
From MaRDI portal
Publication:4240122
zbMATH Open0924.68026MaRDI QIDQ4240122FDOQ4240122
Authors: Jeff Magee, Jeff Kramer 
Publication date: 3 May 1999
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1670511
- scientific article; zbMATH DE number 1617335
- scientific article; zbMATH DE number 176124
- scientific article; zbMATH DE number 1314563
- Model checking of concurrent algorithms: from Java to C
- Models for concurrency: Towards a classification
- scientific article; zbMATH DE number 17833
- A structured approach for developing concurrent programs in Java
- Introducing concurrency in sequential Java via laws
General topics in the theory of software (68N01) Theory of programming languages (68N15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Cited In (34)
- On-the-fly informed search of non-blocking directed controllers
- Using abduction and induction for operational requirements elaboration
- On A Directed Tree Problem Motivated by A Newly Introduced Graph Product
- Title not available (Why is that?)
- Property specifications for workflow modelling
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
- Concurrency and refinement in the unified modeling language
- Testing Concurrent Objects with Application-Specific Schedulers
- Equivalence checking 40 years after: a review of bisimulation tools
- Decompositions of graphs based on a new graph product
- Highly dependable concurrent programming using design for verification
- Active learning of nondeterministic finite state machines
- Translating FSP into LOTOS and networks of automata
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Dynamic logic with binders and its application to the development of reactive systems
- On the usability of process algebra: An architectural view
- Model-Checking Helena Ensembles with Spin
- Compositional Specification in Rewriting Logic
- Automated circular assume-guarantee reasoning
- Architectural concepts and design patterns for behavior modeling and integration
- Assume, Guarantee or Repair
- Implied scenario detection in the presence of behaviour constraints
- Compositional verification of asynchronous concurrent systems using CADP
- Development of global specification for dynamically adaptive software
- Automated Circular Assume-Guarantee Reasoning
- Deriving non-Zeno behaviour models from goal models using ILP
- Automated program repair using formal verification techniques
- Automated Assume-Guarantee Reasoning by Abstraction Refinement
- Communicating Sequential Processes. The First 25 Years
- A verification-driven framework for iterative design of controllers
- FSP and FLTL framework for specification and verification of middle-agents
- Understanding concurrent systems
- Teaching Concurrency Concepts to Freshmen
- Compositional reasoning
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4240122)
