The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Mechanizing CSP Trace Theory in Higher Order Logic
IEEE Transactions on Software Engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Refinement and state machine abstraction
Theoretical Computer Science
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Models Supporting Nondeterminism and Probabilistic Choice
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Weakest Congruence Results Concerning "Any-Lock"
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
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
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Weakest-Congruence Results for Livelock-Preserving Equivalences
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Nondeterminism and Probabilistic Choice: Obeying the Laws
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Integrated Approach to Specification and Validation of Real-Time Systems
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Modeling and verification of parallel processes
Comparing Two Information Flow Security Properties
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
P-A logic: a compositional proof system for distributed programs
Distributed Computing
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Information and Computation
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Relational Concurrent Refinement with Internal Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing machines, transition systems, and interaction
Information and Computation
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A model of behaviour abstraction for communicating processes
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
A Resource Analysis of the π-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Models for data-flow sequential processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Operational semantics for fun and profit
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
An unbounded nondeterministic model for CSP-like Languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Rational Processes And Linear Systems In Gsp
Fundamenta Informaticae
Theoretical Computer Science
| Hi-index | 0.00 |