Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Advanced School: Mathematical Models for the Semantics of Parallelism 1986

> Home > Conferences and Workshops > Advanced School

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/ac/1986parallel
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/1986parallel
Marisa Venturini Zilli:
Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings. Lecture Notes in Computer Science 280, Springer 1987, ISBN 3-540-18419-8
- view
  authority control:
- export record
  dblp key:
  - conf/ac/AcetoNF86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/AcetoNF86
Luca Aceto, Rocco De Nicola, Alessandro Fantechi:
Testing Equivalences for Event Structures. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/ac/AmericaB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/AmericaB86
Pierre America, Jaco de Bakker:
Designing Equvialent Semantic Models for Process Creation. 21-80
- view
  authority control:
- export record
  dblp key:
  - conf/ac/AstesianoR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/AstesianoR86
Egidio Astesiano, Gianna Reggio:
An Qutline of the SMoLCS Approach. 81-113
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BroyS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BroyS86
Manfred Broy, Thomas Streicher:
Views of Distributed Systems. 114-143
- view
  authority control:
- export record
  dblp key:
  - conf/ac/DeganoNM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/DeganoNM86
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
CCS is an (Augmented) Contact Free C/E System. 144-165
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Girard86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Girard86
Jean-Yves Girard:
Linear Logic and Parallelism. 166-182
- view
  authority control:
- export record
  dblp key:
  - conf/ac/LabellaP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/LabellaP86
Anna Labella, Alberto Pettorossi:
Universal Models in Categories for Process Synchronization. 183-198
- view
  authority control:
- export record
  dblp key:
  - conf/ac/MirkowskaS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/MirkowskaS86
Grazyna Mirkowska, Andrzej Salwicki:
On Axiomatic Definition of Max-Model of Concurrency. 199-230

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.