Concurrency theory will set standards for description and analysis of software
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The parallel composition of uniform processes with data
Theoretical Computer Science
Fundamenta Informaticae
Verification of Temporal Properties of Processes in a Setting with Data
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
µCRL: A Toolset for Analysing Algebraic Specifications
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Parameterised boolean equation systems
Theoretical Computer Science - Formal methods for components and objects
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Invariants for Parameterised Boolean Equation Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
State Space Reduction of Linear Processes Using Control Flow Reconstruction
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Invariants for Parameterised Boolean Equation Systems
Theoretical Computer Science
Cones and foci for protocol verification revisited
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
A linear process-algebraic format with data for probabilistic automata
Theoretical Computer Science
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |