Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Axiomatic Proof Techniques for Parallel Programs
Axiomatic Proof Techniques for Parallel Programs
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Countable nondeterminism and random assignment
Journal of the ACM (JACM)
Efficient synchronization of multiprocessors with shared memory
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
An operational requirement description model for open systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Denotational semantics of concurrency
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Local and global properties in networks of processors (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Dynamic systems and their distributed termination
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A semantic theory for value-passing processes based on the late approach
Information and Computation
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
On Language Design for Program Construction
ALGOL Bulletin
A brief history of process algebra
Theoretical Computer Science - Process algebra
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Structured Specification of Communicating Systems
IEEE Transactions on Computers
Complexity measures for software engineering
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Models, languages, and heuristics for distributed computing
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
A domain equation for bisimulation
Information and Computation
Circal: A calculus for circuit description
Integration, the VLSI Journal
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Message oriented programming-A resource based methodology
Computer Languages
| Hi-index | 0.01 |