default search action

combined dblp search
author search
venue search
publication search

ask others

20th EXPRESS / 10th SOS 2013: Buenos Aires, Argentina

> Home > Conferences and Workshops > EXPRESS
> Home > Conferences and Workshops > SOS

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/BorgstromL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgstromL13
Johannes Borgström, Bas Luttik:
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. EPTCS 120, 2013
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CervesatoS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CervesatoS13
Iliano Cervesato, Jorge Luis Sacchini:
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. 2-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ArbachPN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArbachPN13
Youssef Arbach, Kirstin Peters, Uwe Nestmann:
Adding Priority to Event Structures. 17-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GeblerT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeblerT13
Daniel Gebler, Simone Tini:
Compositionality of Approximate Bisimulation for Probabilistic Systems. 32-46
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GuhaKNA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuhaKNA13
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar:
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. 47-62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GeblerGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeblerGM13
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi:
Algebraic Meta-Theory of Processes with Data. 63-77
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Cuijpers13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cuijpers13
Pieter J. L. Cuijpers:
The categorical limit of a sequence of dynamical systems. 78-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AcetoGI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AcetoGI13
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Meta SOS - A Maude Based SOS Meta-Theory Framework. 93-107

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.