Full abstraction of a real-time denotational semantics for an OCCAM-like language
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Journal of the ACM (JACM)
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Divergence in testing and readiness semantics
Theoretical Computer Science
Process algebra and Markov chains
Lectures on formal methods and performance analysis
The Evolution of Concurrent Programs
Applied Intelligence
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Congruent Weak Conformance, a Partial Order among Processes
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Logical Interface Description Language for Components
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Modeling and verification of parallel processes
Precongruence Formats for Decorated Trace Preorders
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
The compositional approach to sequential consistency and lazy caching
Distributed Computing - Special issue: Verification of lazy caching
A hierarchy of failures-based models: theory and application
Theoretical Computer Science - Expressiveness in concurrency
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Timed verification of the reliable adaptive multicast protocol
Journal of Systems and Software
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
The Three Platonic Models of Divergence-Strict CSP
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
On Synchronous and Asynchronous Interaction in Distributed Systems
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
(Bi)simulations up-to characterise process semantics
Information and Computation
Machine-Verifiable Responsiveness
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Two-thirds simulation indexes and modal logic characterization
Frontiers of Computer Science in China
On the expressiveness of refinement settings
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Retracing the semantics of CSP
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Models for data-flow sequential processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
On distributability of petri nets
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
Rational Processes And Linear Systems In Gsp
Fundamenta Informaticae
Conflict-preserving abstraction of discrete event systems using annotated automata
Discrete Event Dynamic Systems
Ready simulation for concurrency: it's logical!
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |