Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. PARLE 1991: Eindhoven, The Netherlands - Volume 2
- Emile H. L. Aarts, Jan van Leeuwen, Martin Rem:
PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Lecture Notes in Computer Science 506, Springer 1991, ISBN 3-540-54152-7
Invited Lectures
- Jayadev Misra:
Loosely-Coupled Processes. 1-26 - J. W. de Bakker, Erik P. de Vink:
Rendezvous with Metric Semantics. 27-57 - Ehud Shapiro:
Embeddings Among Concurrent Programming Languages (Abstract). 58
Submitted Presentations
- Ryszard Janicki, Maciej Koutny:
Invariants and Paradigms of Concurrency Theory. 59-74 - Luis M. Alonso, Ricardo Pena:
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. 75-91 - Jean Fanchon, D. Millot:
Models for Dynamically Placed Concurrent Processes. 92-109 - Yamina Sami, Guy Vidal-Naquet:
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. 110-127 - Ambuj K. Singh:
Program Refinement in Fair Transition Systems. 128-147 - Jay T. Yantchev:
Communication Abstraction and Refinement. 148-165 - Luc Bougé:
On the Semantics of Languages for Massively Parallel SIMD Architectures. 166-183 - Jozef Hooman:
A Denotional Real-Time Semantics for Shared Processes. 184-201 - E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Concurrent Clean. 202-219 - André van Delft:
The Scriptive Programming Language. 220-237 - Seif Haridi, Catuscia Palamidessi
:
Structural Operational Semantics for Kernel Andorra Prolog. 238-253 - Suresh Jagannathan:
Customization of First Class Tuple-Spaces in a Higher-Order Language. 254-276 - Michael Factor:
A Formal Specification of the Process Trellis. 277-294 - Cyril Autant, Z. Belmesk, Philippe Schnoebelen:
Strong Bisimilarity on Nets Revisited. 295-312 - Jeff Magee, Naranker Dulay:
A Configuration Approach to Parallel Programming. 313-330 - Jean-Luc Gaudiot, Chih-Ming Lin:
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System. 331-348 - Martin Waite, Bret Giddings, Simon H. Lavington:
Parallel Associative Combinator Evaluation. 349-366 - Chris Hankin:
Static Analysis of Term Graph Rewriting Systems. 367-384 - 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. 385-402 - Anthony Joseph Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren:
Flexible Scheduling of OR-Parallel Logic Programming Systems. 421-438 - Péter Szeredi, Rong Yang, Mats Carlsson:
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. 439-453 - Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao:
Reduction of Code Space in Parallel Logic Programming Systems. 454-470 - Satoshi Fujita, Masafumi Yamashita, Tadashi Ae:
Search Level Parallel Processing of Production Systems. 471-488
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-01 19:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
