Communicating sequential processes
Communicating sequential processes
Verifying a protocol using relativized bisimulation
14th International Colloquium on Automata, languages and programming
Communications of the ACM
Communication and concurrency
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Proceedings of the Fourth Annual Symposium on Logic in computer science
Compositional theories based on an operational semantics of contexts
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Design and validation of computer protocols
Design and validation of computer protocols
Data flow analysis of distributed communicating processes
International Journal of Parallel Programming
Finite representations of CCS and TCSP programs by automata and Petri nets
Finite representations of CCS and TCSP programs by automata and Petri nets
Fundamentals of software engineering
Fundamentals of software engineering
Program composition and modular verification
Proceedings of the 18th international colloquium on Automata, languages and programming
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A model of Ada programs for static deadlock detection in polynomial times
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Enhancing compositional reachability analysis with context constraints
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
On the analysis of cooperation and antagonism in networks of communicating processes
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Data flow analysis of communicating processes
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
Tractable Flow Analysis for Anomaly Detection in Distributed Programs
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Compositional Minimization of Finite State Systems
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
A Static Analysis of CSP Programs
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Model checking software systems: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Tractable Dataflow Analysis for Distributed Systems
IEEE Transactions on Software Engineering
Modeling Behavior in Compositions of Software Architectural Primitives
Proceedings of the 19th IEEE international conference on Automated software engineering
On the application of the concept of dependability for design and analysis of vision systems
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems
Information Sciences: an International Journal
Hi-index | 0.00 |