Concurrent programming language—LISPTALK
ACM SIGPLAN Notices
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
An OCCAM approach to transputer engineering
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Implementing JSD designs in Ada: a tutorial
ACM SIGSOFT Software Engineering Notes
Fine-grain parallelism in the ALPS programming language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
The IBM Victor V256 partitionable multiprocessor
IBM Journal of Research and Development
Compile-time analysis of communicating processes
ICS '92 Proceedings of the 6th international conference on Supercomputing
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
JOYCE+: model and language for multi-site distributed systems
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Guava: a dialect of Java without data races
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Codesign of Communication Protocols
Computer
IEEE Transactions on Parallel and Distributed Systems
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A Constructive Approach to Hardware/Software Partitioning
Formal Methods in System Design
Exploiting FPGA concurrency to enhance JVM performance
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
Using C based logic synthesis to bridge the productivity gap
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Pascal language extensions for parallel processing
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
An incremental specification of the sliding-window protocol
Distributed Computing
Formal Sequentialization of Distributed Systems via Program Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
ATC'07 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Input/Output Semantics for Distributed Program Equivalence Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic generation of verified concurrent hardware
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
A static communication elimination algorithm for distributed system verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
| Hi-index | 0.02 |