A coinductive calculus for asynchronous side-effecting processes (English)
- New search for: Goncharov, S.
- New search for: Schröder, L.
- New search for: Goncharov, S.
- New search for: Schröder, L.
In:
INFORMATION AND COMPUTATION
;
231
;
204-232
;
2013
-
ISSN:
- Article (Journal) / Print
-
Title:A coinductive calculus for asynchronous side-effecting processes
-
Contributors:Goncharov, S. ( author ) / Schröder, L. ( author )
-
Published in:INFORMATION AND COMPUTATION ; 231 ; 204-232
-
Publisher:
- New search for: Elsevier Science B.V., Amsterdam
-
Publication date:2013-01-01
-
Size:29 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 231
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The 18th International Symposium on Fundamentals of Computation TheoryOwe, Olaf / Steffen, Martin / Telle, Jan Arne et al. | 2013
- 3
-
Object-oriented programming: Some history, and challenges for the next fifty yearsBlack, Andrew P. et al. | 2013
- 21
-
Abstract Hilbertian deductive systems, infon logic, and DatalogBlass, Andreas / Gurevich, Yuri et al. | 2013
- 38
-
The rewriting logic semantics project: A progress reportMeseguer, José / Roşu, Grigore et al. | 2013
- 70
-
Data reduction for graph coloring problemsJansen, Bart M.P. / Kratsch, Stefan et al. | 2013
- 89
-
Polynomial kernels for Proper Interval Completion and related problemsBessy, Stéphane / Perez, Anthony et al. | 2013
- 109
-
Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle Stabbing via iterative localizationHeggernes, Pinar / Kratsch, Dieter / Lokshtanov, Daniel / Raman, Venkatesh / Saurabh, Saket et al. | 2013
- 117
-
A new bound for 3-satisfiable MaxSat and its algorithmic applicationGutin, Gregory / Jones, Mark / Scheder, Dominik / Yeo, Anders et al. | 2013
- 125
-
Functions that preserve p-randomnessFenner, Stephen A. et al. | 2013
- 143
-
Reactive Turing machinesBaeten, Jos C.M. / Luttik, Bas / van Tilburg, Paul et al. | 2013
- 167
-
Specification patterns for reasoning about recursion through the storeCharlton, Nathaniel / Reus, Bernhard et al. | 2013
- 204
-
A coinductive calculus for asynchronous side-effecting processesGoncharov, Sergey / Schröder, Lutz et al. | 2013
- i
-
Editorial Board| 2013