Georg Struth

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

◀ ▶ joint publications with Annabelle McIver

> Home > Persons > Georg Struth

Publications

2019
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/RabehajaMMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/RabehajaMMS19
Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth:
Categorical Information Flow. The Art of Modelling Computational Systems 2019: 329-343
2018
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/McIverRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/McIverRS18
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and finishers: On generating and filtering the behaviours of an event structure. Theor. Comput. Sci. 744: 97-112 (2018)
2016
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/McIverRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/McIverRS16
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic rely-guarantee calculus. Theor. Comput. Sci. 655: 120-134 (2016)
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/McIverRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/McIverRS16
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ICTAC 2016: 121-138
2014
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McIverRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McIverRS14
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Rely-guarantee Calculus. CoRR abs/1409.0582 (2014)
2013
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/McIverRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/McIverRS13
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. LPAR 2013: 653-667
[c43]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/McIverRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McIverRS13
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Concurrent Kleene Algebra. QAPL 2013: 97-115
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-7153
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-7153
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Weak Concurrent Kleene Algebra with Application to Algebraic Verification. CoRR abs/1301.7153 (2013)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McIverRS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McIverRS13a
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. CoRR abs/1310.2320 (2013)
2011
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/McIverRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/McIverRS11
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
On Probabilistic Kleene Algebras, Automata and Simulations. RAMiCS 2011: 264-279
[e3]
- view
- export record
  dblp key:
  - conf/ate/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/2011
Peter Höfner, Annabelle McIver, Georg Struth:
Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011 [contents]

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.