A Coinductive Calculus for Asynchronous Side-Effecting Processes (English)
- New search for: Goncharov, Sergey
- New search for: Schröder, Lutz
- New search for: Goncharov, Sergey
- New search for: Schröder, Lutz
In:
Fundamentals of Computation Theory
;
276-287
;
2011
- Article/Chapter (Book) / Electronic Resource
-
Title:A Coinductive Calculus for Asynchronous Side-Effecting Processes
-
Contributors:Goncharov, Sergey ( author ) / Schröder, Lutz ( author )
-
Published in:Fundamentals of Computation Theory ; 276-287Lecture Notes in Computer Science ; 6914 ; 276-287
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2011-01-01
-
Size:12 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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 Rewriting Logic Semantics Project: A Progress ReportMeseguer, José / Roşu, Grigore et al. | 2011
- 38
-
Impugning Randomness, ConvincinglyGurevich, Yuri et al. | 2011
- 39
-
Kernelization: An OverviewLokshtanov, Daniel et al. | 2011
- 41
-
Almost Transparent Short Proofs for NPℝMeer, Klaus et al. | 2011
- 53
-
The Effect of Homogeneity on the Complexity of k-AnonymityBredereck, Robert / Nichterlein, André / Niedermeier, Rolf / Philip, Geevarghese et al. | 2011
- 65
-
On the Optimal Compression of Sets in PSPACEZimand, Marius et al. | 2011
- 78
-
Computational Randomness from Generalized Hardcore SetsLee, Chia-Jung / Lu, Chi-Jen / Tsai, Shi-Chun et al. | 2011
- 90
-
Data Reduction for Graph Coloring ProblemsJansen, Bart M. P. / Kratsch, Stefan et al. | 2011
- 102
-
Hunting Distributed Malware with the κ-CalculusPreda, Mila / Giusto, Cinzia et al. | 2011
- 114
-
Edge-Matching Problems with RotationsEbbesen, Martin / Fischer, Paul / Witt, Carsten et al. | 2011
- 126
-
On the Link between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical SystemsBahi, Jacques M. / Couchot, Jean-Francois / Guyeux, Christophe / Richard, Adrien et al. | 2011
- 138
-
A New Bound for 3-Satisfiable Maxsat and Its Algorithmic ApplicationGutin, Gregory / Jones, Mark / Yeo, Anders et al. | 2011
- 148
-
On Memoryless Quantitative ObjectivesChatterjee, Krishnendu / Doyen, Laurent / Singh, Rohit et al. | 2011
- 160
-
Principal Types for Nominal TheoriesFairweather, Elliot / Fernández, Maribel / Gabbay, Murdoch J. et al. | 2011
- 173
-
Modifying the Upper Bound on the Length of Minimal Synchronizing WordTrahtman, A. N. et al. | 2011
- 181
-
Online Maximum k-CoverageAusiello, Giorgio / Boria, Nicolas / Giannakos, Aristotelis / Lucarelli, Giorgio / Paschos, Vangelis Th. et al. | 2011
- 193
-
Coloring Graphs without Short Cycles and Long Induced PathsGolovach, Petr A. / Paulusma, Daniël / Song, Jian et al. | 2011
- 205
-
Succinct Algebraic Branching Programs Characterizing Non-uniform Complexity ClassesMalod, Guillaume et al. | 2011
- 217
-
LIFO-Search on Digraphs: A Searching Game for Cycle-RankHunter, Paul et al. | 2011
- 229
-
Polynomial Kernels for Proper Interval Completion and Related ProblemsBessy, Stéphane / Perez, Anthony et al. | 2011
- 240
-
Parameterized Complexity of Vertex Deletion into Perfect Graph ClassesHeggernes, Pinar / Hof, Pim van’t / Jansen, Bart M. P. / Kratsch, Stefan / Villanger, Yngve et al. | 2011
- 252
-
Constructive Dimension and Hausdorff Dimension: The Case of Exact DimensionStaiger, Ludwig et al. | 2011
- 264
-
Dag Realizations of Directed Degree SequencesBerger, Annabell / Müller-Hannemann, Matthias et al. | 2011
- 276
-
A Coinductive Calculus for Asynchronous Side-Effecting ProcessesGoncharov, Sergey / Schröder, Lutz et al. | 2011
- 288
-
Hardness, Approximability, and Exact Algorithms for Vector Domination and Total Vector Domination in GraphsCicalese, Ferdinando / Milanič, Martin / Vaccaro, Ugo et al. | 2011
- 298
-
Enumeration of Minimal Dominating Sets and VariantsKanté, Mamadou Moustapha / Limouzy, Vincent / Mary, Arnaud / Nourine, Lhouari et al. | 2011
- 310
-
Specification Patterns and Proofs for Recursion through the StoreCharlton, Nathaniel / Reus, Bernhard et al. | 2011
- 322
-
Sub-computabilitiesGivors, Fabien / Lafitte, Gregory et al. | 2011
- 336
-
Functions That Preserve p-RandomnessFenner, Stephen A. et al. | 2011
- 348
-
Reactive Turing MachinesBaeten, Jos C. M. / Luttik, Bas / Tilburg, Paul et al. | 2011
- 360
-
Virtual Substitution for SMT-SolvingCorzilius, Florian / Ábrahám, Erika et al. | 2011