|
|
Conferences in DBLP
- Jayadev Misra
Loosely-Coupled Processes. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:1-26 [Conf]
- J. W. de Bakker, Erik P. de Vink
Rendezvous with Metric Semantics. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:27-57 [Conf]
- Ehud Y. Shapiro
Embeddings Among Concurrent Programming Languages (Abstract). [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:58- [Conf]
- Ryszard Janicki, Maciej Koutny
Invariants and Paradigms of Concurrency Theory. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:59-74 [Conf]
- Luis M. Alonso, Ricardo Pena
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:75-91 [Conf]
- Jean Fanchon, D. Millot
Models for Dynamically Placed Concurrent Processes. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:92-109 [Conf]
- Yamina Sami, Guy Vidal-Naquet
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:110-127 [Conf]
- Ambuj K. Singh
Program Refinement in Fair Transition Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:128-147 [Conf]
- J. T. Yantchev
Communication Abstraction and Refinement. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:148-165 [Conf]
- Luc Bougé
On the Semantics of Languages for Massively Parallel SIMD Architectures. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:166-183 [Conf]
- Jozef Hooman
A Denotional Real-Time Semantics for Shared Processes. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:184-201 [Conf]
- E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Concurrent Clean. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:202-219 [Conf]
- André van Delft
The Scriptive Programming Language. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:220-237 [Conf]
- Seif Haridi, Catuscia Palamidessi
Structural Operational Semantics for Kernel Andorra Prolog. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:238-253 [Conf]
- Suresh Jagannathan
Customization of First Class Tuple-Spaces in a Higher-Order Language. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:254-276 [Conf]
- Michael Factor
A Formal Specification of the Process Trellis. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:277-294 [Conf]
- C. Autant, Z. Belmesk, Ph. Schnoebelen
Strong Bisimilarity on Nets Revisited. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:295-312 [Conf]
- Jeff Magee, Naranker Dulay
A Configuration Approach to Parallel Programming. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:313-330 [Conf]
- Jean-Luc Gaudiot, Chih-Ming Lin
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:331-348 [Conf]
- Martin Waite, Bret Giddings, Simon H. Lavington
Parallel Associative Combinator Evaluation. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:349-366 [Conf]
- Chris Hankin
Static Analysis of Term Graph Rewriting Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:367-384 [Conf]
- 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. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:385-402 [Conf]
- Anthony Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren
Flexible Scheduling of OR-Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:421-438 [Conf]
- Péter Szeredi, Rong Yang, Mats Carlsson
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:439-453 [Conf]
- Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao
Reduction of Code Space in Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:454-470 [Conf]
- Satoshi Fujita, Masafumi Yamashita, Tadashi Ae
Search Level Parallel Processing of Production Systems. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1991, pp:471-488 [Conf]
|
