EPTCS 115 - Refine 2013

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-5634
- ask others
John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 16th International Refinement Workshop. 2013 EPTCS 115 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6110
- ask others
Emil Sekerinski, Tian Zhang: On a New Notion of Partial Refinement. ... 1-14
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6111
- ask others
Brijesh Dongol, John Derrick: Data refinement for true concurrency. ... 15-35
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6112
- ask others
Michael Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall: Modelling and Refinement in CODA. ... 36-51
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6113
- ask others
Frank Zeyda, Ana Cavalcanti: Refining SCJ Mission Specifications into Parallel Handler Designs. ... 52-67
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6114
- ask others
Nuno Amálio: Relaxing Behavioural Inheritance. ... 68-83
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6115
- ask others
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa: Bisimilarity and refinement for hybrid(ised) logics. ... 84-98