PARLE (2)

Keyphrases

Publications

1991

Jean-Luc Gaudiot, Chih-Ming Lin
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System. PARLE (2) (1991)
E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Concurrent Clean. PARLE (2) (1991)
J. T. Yantchev
Communication Abstraction and Refinement. PARLE (2) (1991)
Chris Hankin
Static Analysis of Term Graph Rewriting Systems. PARLE (2) (1991)
Ambuj K. Singh
Program Refinement in Fair Transition Systems. PARLE (2) (1991)
Seif Haridi, Catuscia Palamidessi
Structural Operational Semantics for Kernel Andorra Prolog. PARLE (2) (1991)
Jozef Hooman
A Denotional Real-Time Semantics for Shared Processes. PARLE (2) (1991)
Jeff Magee, Naranker Dulay
A Configuration Approach to Parallel Programming. PARLE (2) (1991)
Martin Waite, Bret Giddings, Simon H. Lavington
Parallel Associative Combinator Evaluation. PARLE (2) (1991)
Jayadev Misra
Loosely-Coupled Processes. PARLE (2) (1991)
Ehud Shapiro
Embeddings Among Concurrent Programming Languages (Abstract). PARLE (2) (1991)
Suresh Jagannathan
Customization of First Class Tuple-Spaces in a Higher-Order Language. PARLE (2) (1991)
Anthony Joseph Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren
Flexible Scheduling of OR-Parallel Logic Programming Systems. PARLE (2) (1991)
Michael Factor
A Formal Specification of the Process Trellis. PARLE (2) (1991)
Jacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux
Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor. PARLE (2) (1991)
J. W. de Bakker, Erik P. de Vink
Rendezvous with Metric Semantics. PARLE (2) (1991)
Jean Fanchon, D. Millot
Models for Dynamically Placed Concurrent Processes. PARLE (2) (1991)
Cyril Autant, Z. Belmesk, Philippe Schnoebelen
Strong Bisimilarity on Nets Revisited. PARLE (2) (1991)
Yamina Sami, Guy Vidal-Naquet
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. PARLE (2) (1991)
Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao
Reduction of Code Space in Parallel Logic Programming Systems. PARLE (2) (1991)
Péter Szeredi, Rong Yang, Mats Carlsson
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. PARLE (2) (1991)
Luc Bougé
On the Semantics of Languages for Massively Parallel SIMD Architectures. PARLE (2) (1991)
Satoshi Fujita, Masafumi Yamashita, Tadashi Ae
Search Level Parallel Processing of Production Systems. PARLE (2) (1991)
Luis M. Alonso, Ricardo Pena
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. PARLE (2) (1991)
Ryszard Janicki, Maciej Koutny
Invariants and Paradigms of Concurrency Theory. PARLE (2) (1991)
André van Delft
The Scriptive Programming Language. PARLE (2) (1991)

1989