A coinductive calculus for asynchronous side-effecting processes (English)
- New search for: Goncharov, Sergey
- New search for: Goncharov, Sergey
- New search for: Schröder, Lutz
In:
Information and computation
;
231
; 204-232
;
2013
-
ISSN:
- Article (Journal) / Print
-
Title:A coinductive calculus for asynchronous side-effecting processes
-
Contributors:Goncharov, Sergey ( author ) / Schröder, Lutz
-
Published in:Information and computation ; 231 ; 204-232
-
Publisher:
- New search for: Elsevier
-
Place of publication:Amsterdam
-
Publication date:2013
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 31.80 / 54.00 / 54.00 / 31.80
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
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