default search action

combined dblp search
author search
venue search
publication search

ask others

3. PARLE 1991: Eindhoven, The Netherlands - Volume 2

> Home > Conferences and Workshops > PARLE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/parle/1991-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/1991-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

- view
  authority control:
- export record
  dblp key:
  - conf/parle/Misra91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Misra91
Jayadev Misra:
Loosely-Coupled Processes. 1-26
- view
  authority control:
- export record
  dblp key:
  - conf/parle/BakkerV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/BakkerV91
J. W. de Bakker, Erik P. de Vink:
Rendezvous with Metric Semantics. 27-57
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Shapiro91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Shapiro91
Ehud Shapiro:
Embeddings Among Concurrent Programming Languages (Abstract). 58

Submitted Presentations

- view
  authority control:
- export record
  dblp key:
  - conf/parle/JanickiK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/JanickiK91
Ryszard Janicki, Maciej Koutny:
Invariants and Paradigms of Concurrency Theory. 59-74
- view
  authority control:
- export record
  dblp key:
  - conf/parle/AlonsoP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/AlonsoP91
Luis M. Alonso, Ricardo Pena:
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. 75-91
- view
  authority control:
- export record
  dblp key:
  - conf/parle/FanchonM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/FanchonM91
Jean Fanchon, D. Millot:
Models for Dynamically Placed Concurrent Processes. 92-109
- view
  authority control:
- export record
  dblp key:
  - conf/parle/SamiV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/SamiV91
Yamina Sami, Guy Vidal-Naquet:
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. 110-127
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Singh91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Singh91
Ambuj K. Singh:
Program Refinement in Fair Transition Systems. 128-147
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Yantchev91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Yantchev91
Jay T. Yantchev:
Communication Abstraction and Refinement. 148-165
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Bouge91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Bouge91
Luc Bougé:
On the Semantics of Languages for Massively Parallel SIMD Architectures. 166-183
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Hooman91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Hooman91
Jozef Hooman:
A Denotional Real-Time Semantics for Shared Processes. 184-201
- view
  authority control:
- export record
  dblp key:
  - conf/parle/NockerSEP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/NockerSEP91
E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Concurrent Clean. 202-219
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Delft91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Delft91
André van Delft:
The Scriptive Programming Language. 220-237
- view
  authority control:
- export record
  dblp key:
  - conf/parle/HaridiP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/HaridiP91
Seif Haridi, Catuscia Palamidessi:
Structural Operational Semantics for Kernel Andorra Prolog. 238-253
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Jagannathan91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Jagannathan91
Suresh Jagannathan:
Customization of First Class Tuple-Spaces in a Higher-Order Language. 254-276
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Factor91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Factor91
Michael Factor:
A Formal Specification of the Process Trellis. 277-294
- view
  authority control:
- export record
  dblp key:
  - conf/parle/AutantBS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/AutantBS91
Cyril Autant, Z. Belmesk, Philippe Schnoebelen:
Strong Bisimilarity on Nets Revisited. 295-312
- view
  authority control:
- export record
  dblp key:
  - conf/parle/MageeD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/MageeD91
Jeff Magee, Naranker Dulay:
A Configuration Approach to Parallel Programming. 313-330
- view
  authority control:
- export record
  dblp key:
  - conf/parle/GaudiotL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/GaudiotL91
Jean-Luc Gaudiot, Chih-Ming Lin:
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System. 331-348
- view
  authority control:
- export record
  dblp key:
  - conf/parle/WaiteGL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/WaiteGL91
Martin Waite, Bret Giddings, Simon H. Lavington:
Parallel Associative Combinator Evaluation. 349-366
- view
  authority control:
- export record
  dblp key:
  - conf/parle/Hankin91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/Hankin91
Chris Hankin:
Static Analysis of Term Graph Rewriting Systems. 367-384
- view
  authority control:
- export record
  dblp key:
  - conf/parle/BriatFGK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/BriatFGK91
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
- view
  authority control:
- export record
  dblp key:
  - conf/parle/BeaumontRSW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/BeaumontRSW91
Anthony Joseph Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren:
Flexible Scheduling of OR-Parallel Logic Programming Systems. 421-438
- view
  authority control:
- export record
  dblp key:
  - conf/parle/SzerediYC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/SzerediYC91
Péter Szeredi, Rong Yang, Mats Carlsson:
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. 439-453
- view
  authority control:
- export record
  dblp key:
  - conf/parle/HwangHSG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/HwangHSG91
Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao:
Reduction of Code Space in Parallel Logic Programming Systems. 454-470
- view
  authority control:
- export record
  dblp key:
  - conf/parle/FujitaYA91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/FujitaYA91
Satoshi Fujita, Masafumi Yamashita, Tadashi Ae:
Search Level Parallel Processing of Production Systems. 471-488

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.