Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Three partition refinement algorithms
SIAM Journal on Computing
Modal logics for communicating systems
Theoretical Computer Science
Algebraic theory of processes
Communication and concurrency
Deciding bisimulation equivalences for a class of non-finite-state programs
Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science on STACS 89
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Submodule construction as equation solving in CCS
Theoretical Computer Science
Proceedings of the Fourth Annual Symposium on Logic in computer science
Automated analysis of mutual exclusion algorithms using CCS
Formal Aspects of Computing
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Priorities in process algebras
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Testing equivalence as a bisimulation equivalence
Proceedings of the international workshop on Automatic verification methods for finite state systems
Proceedings of the international workshop on Automatic verification methods for finite state systems
Implementing a model checking algorithm by adapting existing automated tools
Proceedings of the international workshop on Automatic verification methods for finite state systems
An efficient algorithm for branching bisimulation and stuttering equivalence
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Design and validation of computer protocols
Design and validation of computer protocols
Tableau-based model checking in the propositional mu-calculus
Acta Informatica
Computing behavioural relations, logically
Proceedings of the 18th international colloquium on Automata, languages and programming
A preorder for partial process specifications
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
An implementation of a translational semantics for an imperative language
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Priority as extremal probability
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
On the compositional checking of validity (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Bisimulation through probabilistic testing
Information and Computation
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems
Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
Verification in XESAR of the Sliding Window Protocol
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
A Semantics Based Verification Tool for Finite State Systems
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Local Model Checking in the Modal Mu-Calculus
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Compositional Minimization of Finite State Systems
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
The Concurrency Workbench with Priorities
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Proof System for Hennessy-Milner Logic with Recursion
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
Memory subsystem performance of programs using copying garbage collection
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Characterization of object behaviour in Standard ML of New Jersey
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A pragmatic approach to software synthesis
IDL '94 Proceedings of the workshop on Interface definition languages
Towards scalable compositional analysis
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Formal specification and simulation of instruction-level parallelism
EURO-DAC '94 Proceedings of the conference on European design automation
Memory system performance of programs with intensive heap allocation
ACM Transactions on Computer Systems (TOCS)
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Enhanced operational semantics
ACM Computing Surveys (CSUR)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Nitpick: a tool for interactive design analysis
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal approach to determining parallel resource bindings: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Model checking for programming languages using VeriSoft
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking graphical user interfaces using abstractions
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
IEEE Transactions on Software Engineering
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automatically closing open reactive programs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Parallel Algorithms for Relational Coarsest Partition Problems
IEEE Transactions on Parallel and Distributed Systems
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Specification and verification of an object request broker
Proceedings of the 20th international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Using shape analysis to reduce finite-state models of concurrent Java programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
On the formalization of architectural types with process algebras
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Ensuring privacy in presence awareness: an automated verification approach
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Coordinating interaction patterns
Proceedings of the 2001 ACM symposium on Applied computing
Model checking distributed objects design
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Distributed processes and location failures
Theoretical Computer Science
Information and Computation
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
Combining stochastic process algebras and queueing networks for software architecture analysis
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Triggered message sequence charts
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
A practical approach to implementing real-time semantics
Annals of Software Engineering
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
Discrete Event Dynamic Systems
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
Triggered message sequence charts
ACM SIGSOFT Software Engineering Notes
Bisimulation Minimization and Symbolic Model Checking
Formal Methods in System Design
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Hierarchical Structuring of Superposed GSPNs
IEEE Transactions on Software Engineering
Process algebras for systems diagnosis
Artificial Intelligence
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Proving Deadlock Freedom in Component-Based Programming
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Quantifying the Dynamic Behavior of Process Algebras
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Demand-Driven Model Checking for Context-Free Processes
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Pi-Congruences as CCS Equivalences
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Using the pi-Calculus to Model Multiagent Systems
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Classification of Security Properties (Part I: Information Flow)
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Simulation as Coarsest Partition Problem
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
``Next'' Heuristic for On-the-Fly Model Checking
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Heuristics for Hierarchical Partitioning with Application to Model Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Graded Modalities and Resource Bisimulation
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Behavioral Module System for the Pi-Calculus
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Iterative Decomposition and Aggregation of Labeled GSPNs
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
AMC: An Adaptive Model Checker
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Using Model Checking to Detect Deadlocks in Distributed Object Systems
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Comparing Two Information Flow Security Properties
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Giving a net semantics to Markovian process algebra
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
An In-Service Agent Monitoring and Analysis System
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Proceedings of the 16th IEEE international conference on Automated software engineering
Weak bisimulation for (max/+) automata and related models
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Outcomes-based assessment as an assurance education tool
Security education and critical infrastructures
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
An incremental approach to reachability analysis of distributed programs
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
Security check: a formal yet practical framework for secure software architecture
Proceedings of the 2003 workshop on New security paradigms
QoS evaluation of IP telephony services: a specification language based simulation software tool
Systems Analysis Modelling Simulation
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions
ACM Transactions on Computational Logic (TOCL)
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating diagnostic information for behavioral preorders
Distributed Computing
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Software Model Checking: The VeriSoft Approach
Formal Methods in System Design
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
Modelling, property verification and behavioural equivalence of lactose operon regulation
Computers in Biology and Medicine
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Simulations Up-to and Canonical Preorders
Electronic Notes in Theoretical Computer Science (ENTCS)
Bisimulation relations for weighted automata
Theoretical Computer Science
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Ugo Montanari and Software Verification
Concurrency, Graphs and Models
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Network Applications of Graph Bisimulation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
(Bi)simulations up-to characterise process semantics
Information and Computation
Optimizing Pointer Analysis Using Bisimilarity
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits
Electronic Notes in Theoretical Computer Science (ENTCS)
Communicating Concurrent Objects in HiddenCCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Bisimulation and the reduction of Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Latticed simulation relations and games
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A probabilistic applied pi-calculus
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Science of Computer Programming
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
On the automated implementation of time-based paxos using the IOA compiler
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
A framework for verifying data-centric protocols
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Checking a mutex algorithm in a process algebra with fairness
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
BDD-Based hardware verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Minimization of non-deterministic automata with large alphabets
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Rewriting approximations for properties verification over CCS specifications
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Model translations among big-step modeling languages
Proceedings of the 34th International Conference on Software Engineering
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
| Hi-index | 0.01 |
The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus of Communicating Systems. Its key feature is its breadth: a variety of different verification methods, including equivalence checking, preorder checking, and model checking, are supported for several different process semantics. One experience from our work is that a large number of interesting verification methods can be formulated as combinations of a small number of primitive algorithms. The Workbench has been applied to the verification of communications protocols and mutual exclusion algorithms and has proven a valuable aid in teaching and research.