PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Termination detection for dynamically distributed systems with non-first-in-first-out communication
Journal of Parallel and Distributed Computing
Theoretical Computer Science
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Merging many streams efficiently: The importance of atomic commitment
Concurrent Prolog
Hardware description and simulation using Concurrent Prolog
Concurrent Prolog: collected papers
Real time clocks versus virtual clocks
Control Flow and Data Flow: concepts of distributed programming
A paradigm for detecting quiescent properties in distributed computations
Logics and models of concurrent systems
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
A Distributed Graph Algorithm: Knot Detection
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent PROLOG: Collected Papers
Concurrent PROLOG: Collected Papers
Dynamic graphics using quasi parallelism
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Concurrent constraint programming languages
Concurrent constraint programming languages
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Concurrent clustered programming
CONCUR 2005 - Concurrency Theory
| Hi-index | 0.00 |