Volume 365,
Numbers 1-2,
November 2006
Formal Methods for Components and Objects,
Formal Methods for Components and Objects
Contributions
- Luís Soares Barbosa, José Nuno Oliveira:
Transposing partial components - An exercise on coalgebraic refinement.
2-22
Electronic Edition (link) BibTeX
- Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems.
23-66
Electronic Edition (link) BibTeX
- Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with secure equilibria.
67-82
Electronic Edition (link) BibTeX
- Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Switched PIOA: Parallel composition via distributed scheduling.
83-108
Electronic Edition (link) BibTeX
- Jifeng He, Xiaoshan Li, Zhiming Liu:
rCOS: A refinement calculus of object systems.
109-142
Electronic Edition (link) BibTeX
- David A. Naumann, Michael Barnett:
Towards imperative modules: Reasoning about invariants and sharing of mutable state.
143-168
Electronic Edition (link) BibTeX
Volume 365,
Number 3,
November 2006
Spatial Representation:
Discrete vs. Continuous Computational Models,
Spatial Representation:
Discrete vs. Continuous Computational Models
Contributions
- Samy Abbes, Klaus Keimel:
Projective topology on bifinite domains and applications.
171-183
Electronic Edition (link) BibTeX
- K. Abe, Justin Bisceglio, David R. Ferguson, Thomas J. Peters, Alexander Russell, Takis Sakkalis:
Computational topology for isotopic surface reconstruction.
184-198
Electronic Edition (link) BibTeX
- Lisbeth Fajstrup:
Cubical local partial orders on cubically subdivided spaces - Existence and construction.
199-205
Electronic Edition (link) BibTeX
- Jonathan Gratus, Timothy Porter:
A spatial view of information.
206-215
Electronic Edition (link) BibTeX
- Göran Hamrin, Viggo Stoltenberg-Hansen:
Two categories of effective continuous cpos.
216-236
Electronic Edition (link) BibTeX
- Hans-Peter A. Künzi, Homeira Pajoohesh, Michel P. Schellekens:
Partial quasi-metrics.
237-246
Electronic Edition (link) BibTeX
- Martin Raußen:
Deadlocks and dihomotopy in mutual exclusion models.
247-257
Electronic Edition (link) BibTeX
- Victor L. Selivanov:
Towards a descriptive set theory for domain-like structures.
258-282
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:09 2009
by Michael Ley (ley@uni-trier.de)
