default search action

combined dblp search
author search
venue search
publication search

ask others

6th SOS 2009: Bologna, Italy

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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/abs-1002-2978
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2978
Bartek Klin, Pawel Sobocinski:
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. EPTCS 18, 2009
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2864
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir:
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2867
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2867
Magnus Johansson, Björn Victor, Joachim Parrow:
A Fully Abstract Symbolic Semantics for Psi-Calculi. 17-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2868
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2868
Mohammad Reza Mousavi:
Causality in the Semantics of Esterel: Revisited. 32-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2869
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2869
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems. 46-61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2871
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2871
Iain C. C. Phillips, Irek Ulidowski:
Reverse Bisimulations on Stable Configuration Structures. 62-76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2872
Gilles Dowek, César A. Muñoz, Camilo Rocha:
Rewriting Logic Semantics of a Plan Execution Language. 77-91
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2873
Michel A. Reniers, Tim A. C. Willemse:
Analysis of Boolean Equation Systems through Structure Graphs. 92-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.