default search action

combined dblp search
author search
venue search
publication search

ask others

1st PACO 2011: Reykjavik, Iceland

> Home > Series

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:
  - journals/corr/abs-1108-1452
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1452
Luca Aceto, Mohammad Reza Mousavi:
Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 60, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1861
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1861
Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards reduction of Paradigm coordination models. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1862
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1862
Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist:
Input-output Conformance Testing for Channel-based Service Connectors. 19-35
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1863
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1863
Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski:
A Process Algebra for Supervisory Coordination. 36-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1864
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols. 56-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1865
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. 66-75

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.