Survey of educational programs in medical information science
ACM SIGMICRO Newsletter
Using large families for handling priority requests
ACM SIGAda Ada Letters
A Modula-2 implementation of CSP
ACM SIGPLAN Notices
Modeling the software architecture of a prototype parallel machine
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Adding time to synchronous process communications
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Transaction processing primitives and CSP
IBM Journal of Research and Development
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
IEEE Transactions on Pattern Analysis and Machine Intelligence - Special Issue on Industrial Machine Vision and Computer Vision Technology:8MPart
Synchronous operations as first-class values
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Asynchronous communication on Occam
ACM SIGPLAN Notices
Using mathematical logic and formal methods to write correct microcode
ACM SIGMICRO Newsletter
Transputers + virtual tree kernel = real speedups
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
XY-WINS: an integraded environment for developing graphical user interfaces
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
Interactive blackbox debugging for concurrent languages
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
A specification language for parallel architectures and algorithms
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
ACM SIGPLAN Notices
A Performance Analysis of Timed Synchronous Communication Primitives
IEEE Transactions on Computers
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Coarse-grain parallel programming in Jade
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
Occurrences in debugger specifications
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
A Protocol for Multirendezvous of LOTOS Processes
IEEE Transactions on Computers - Special issue on protocol engineering
High-level language debugging for concurrent programs
ACM Transactions on Computer Systems (TOCS)
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Asynchronous Circuits for Low Power: A DCC Error Corrector
IEEE Design & Test
ACM Transactions on Computer Systems (TOCS)
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Partial-evaluation techniques for concurrent programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The design, implementation, and evaluation of Jade
ACM Transactions on Programming Languages and Systems (TOPLAS)
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
Turning a functional data type into a concurrent programming language
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
The concurrent object-oriented language braid
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
The analysis and comparison of scheduling controls in concurrent languages through classification
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Abstractions for mobile computations
Secure Internet programming
A parallel language and its compilation to multiprocessor machines or VLSI
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The synchronous approach to reactive and real-time systems
Readings in hardware/software co-design
System Specification Experiments on a Common Benchmark
IEEE Design & Test
VMMP: A Practical Tool for the Development of Portable and Efficient Programs for Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Using a Formal Framework for Agent System Design
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Joyce: a programming language for distributed systems
The origin of concurrent programming
Sourcebook of parallel computing
Experiences using Inmos proto-OCCAM (TM)
ACM SIGPLAN Notices
The VLSI-programming language tangram and its translation into handshake circuits
EURO-DAC '91 Proceedings of the conference on European design automation
Dynamic tabbing for automatic indentation with the layout rule
Journal of Functional Programming
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pascal language extensions for parallel processing
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Towards systolizing compilation
Distributed Computing
Developing critical systems with PLD components
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Communications of the ACM
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
On the automated implementation of time-based paxos using the IOA compiler
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Finding, expressing and managing parallelism in programs executed on clusters of workstations
Computer Communications
Programming language design and analysis motivated by hardware evolution
SAS'07 Proceedings of the 14th international conference on Static Analysis
An integrated highly parallel architecture for image reconstruction
EGGH'88 Proceedings of the Third Eurographics conference on Advances in Computer Graphics Hardware
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Equations for Asynchronous Message Passing
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 0.02 |