Search alternatives:
concurrency » concurrent
Cover Image
Read Now

21
by Rosen, Alon
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...A Brief Introduction to Zero-Knowledge (by Oded Goldreich) -- to Concurrent Zero-Knowledge...”
Cover Image
Read Now

22
by Van de Velde, Eric F.
Published 1994
Springer New York
Subjects: “...Computational Mathematics and Numerical Analysis...”
Cover Image
Read Now

23
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... and limits of synchronous concurrent computation -- A logic-functional approach to the execution of CCS...”
Cover Image
Read Now

24
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models...”
Cover Image
Read Now

25
by Cortadella, Jordi
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

26
Published 2017
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

27
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

28
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... logarithm -- Computation of the k-error linear complexity of binary sequences with period 2n -- Symbolic...”
Cover Image
Read Now

29
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...On Convergence of Concurrent Systems under Regular Interactions -- Computing Stuttering Simulations...”
Cover Image
Read Now

30
by Gorrieri, Roberto, Versari, Cristian
Published 2015
Springer International Publishing
Subjects: “...Computer science...”
Cover Image
Read Now

31
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Cover Image
Read Now

32
Published 2003
Springer Netherlands
Table of Contents: “... Paradigms of Logical Computation in Affine Logic? -- Proof Systems for ?-Calculus Logics -- A Tutorial...”
Cover Image
Read Now

33
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: Ontology and Mereology of Domains -- Computer Science and State Machines -- A Small Step for Mankind...”
Cover Image
Read Now

34
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Reducing Clocks in Timed Automata while Preserving Bisimulation -- Qualitative Concurrent Parity Games...”
Cover Image
Read Now

35
Published 1994
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

36
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... notion of refinement for concurrency -- A refinement theory that supports both ’decrease...”
Cover Image
Read Now

37
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Finite Prefixes to Infinite Computations -- Model Checking -- Abstraction-Based Model Checking Using...”
Cover Image
Read Now

38
by Thomasian, Alexander
Published 1996
Springer US
Subjects: “...Data structures (Computer science)...”
Cover Image
Read Now

39
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Strategy Synthesis for Markov Decision Processes and Branching-Time Logics -- Timed Concurrent Game...”
Cover Image
Read Now

40
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... of Integer Linear Loops -- A Practical Application of Geometric Semantics to Static Analysis of Concurrent...”