Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Readings in hardware/software co-design
A logical view of concurrent constraint programming
Nordic Journal of Computing
Interaction nets with McCarthy's amb: properties and applications
Nordic Journal of Computing
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
Evolution in architectures and programming methodologies of coarse-grained reconfigurable computing
Microprocessors & Microsystems
Labelled Markov Processes: Stronger and Faster Approximations
Electronic Notes in Theoretical Computer Science (ENTCS)
Normal Form Simulation for McCarthy's Amb
Electronic Notes in Theoretical Computer Science (ENTCS)
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Fairness, Resources, and Separation
Electronic Notes in Theoretical Computer Science (ENTCS)
Models for data-flow sequential processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Hi-index | 0.00 |