Dan R. Ghica

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 Andrzej S. Murawski

> Home > Persons > Dan R. Ghica

Publications

2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GhicaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GhicaM08
Dan R. Ghica, Andrzej S. Murawski:
Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Log. 151(2-3): 89-114 (2008)
2006
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GhicaMO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GhicaMO06
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong:
Syntactic control of concurrency. Theor. Comput. Sci. 350(2-3): 234-251 (2006)
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GhicaM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GhicaM06
Dan R. Ghica, Andrzej S. Murawski:
Compositional Model Extraction for Higher-Order Concurrent Programs. TACAS 2006: 303-317
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/GhicaM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GhicaM04
Dan R. Ghica, Andrzej S. Murawski:
Angelic Semantics of Fine-Grained Concurrency. FoSSaCS 2004: 211-225
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/GhicaMO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/GhicaMO04
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong:
Syntactic Control of Concurrency. ICALP 2004: 683-694
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AbramskyGMOS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AbramskyGMOS04
Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark:
Nominal Games and Full Abstraction for the Nu-Calculus. LICS 2004: 150-159
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AbramskyGMO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbramskyGMO04
Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong:
Applying Game Semantics to Compositional Software Modeling and Verification. TACAS 2004: 421-435

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.