A formal definition of priority in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design of heterogeneous ICs for mobile and personal communication systems
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Eclectic CSP: a language of concurrent processes
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
From CSP-OZ to Java with Processes
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Language support for fast and reliable message-based communication in singularity OS
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Netfiles: an enhanced stream-based communication mechanism
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
Formal analysis of message passing
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Quantitative µ-calculus analysis of power management in wireless networks
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Testing with inputs and outputs in CSP
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |