Amanote Research

Amanote Research

    RegisterSign In

Communicating Sequential Processes

doi 10.1007/978-3-662-09507-2_19
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1983

Authors
C. A. R. Hoare
Publisher

Springer Berlin Heidelberg


Related search

Model Checking Logics for Communicating Sequential Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Performance Analysis of a System of Communicating Processes

1997English

From Sequential Layers to Distributed Processes

1992English

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Bayes Sequential Estimation Procedures for Exponential-Type Processes

Applicationes Mathematicae
1994English

Sequential Processes for Controlling Distance in Multijoint Movements

Journal of Motor Behavior
Sports MedicineCognitive PsychologyCognitive NeuroscienceSports ScienceBiophysicsOrthopedicsExperimental
2008English

Sequential Processes in Palladium-Catalyzed Silicon-Based Cross-Coupling

Israel Journal of Chemistry
Chemistry
2010English

Super-Strong Representation Theorems for Nondeterministic Sequential Decision Processes

Journal of the Operations Research Society of Japan
Management ScienceDecision SciencesOperations Research
2017English

Autonomous Units to Model Interacting Sequential and Parallel Processes

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy