- Applied mathematics
- >
- Mathematical modeling
- >
- Formal specification languages
- >
- Process calculi

- Applied mathematics
- >
- Mathematical modeling
- >
- Models of computation
- >
- Process calculi

- Fields of mathematics
- >
- Algebra
- >
- Abstract algebra
- >
- Process calculi

- Fields of mathematics
- >
- Mathematical logic
- >
- Logical calculi
- >
- Process calculi

- Formal methods
- >
- Formal specification
- >
- Formal specification languages
- >
- Process calculi

- Formal theories
- >
- Formal systems
- >
- Logical calculi
- >
- Process calculi

- Mathematical logic
- >
- Formal systems
- >
- Logical calculi
- >
- Process calculi

- Mathematical logic
- >
- Logic in computer science
- >
- Logical calculi
- >
- Process calculi

- Mathematics of computing
- >
- Formal methods
- >
- Logical calculi
- >
- Process calculi

- Mathematics of computing
- >
- Formal methods
- >
- Models of computation
- >
- Process calculi

- Mathematics of computing
- >
- Logic in computer science
- >
- Logical calculi
- >
- Process calculi

- Metalogic
- >
- Formal systems
- >
- Logical calculi
- >
- Process calculi

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Logical calculi
- >
- Process calculi

- Theoretical computer science
- >
- Formal methods
- >
- Logical calculi
- >
- Process calculi

- Theoretical computer science
- >
- Formal methods
- >
- Models of computation
- >
- Process calculi

- Theoretical computer science
- >
- Logic in computer science
- >
- Logical calculi
- >
- Process calculi

- Theoretical computer science
- >
- Theory of computation
- >
- Models of computation
- >
- Process calculi

Temporal Process Language

In theoretical computer science, Temporal Process Language (TPL) is a process calculus which extends Robin Milner's CCS with the notion of multi-party synchronization, which allows multiple process to

E-LOTOS

In computer science E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001. E-LOTOS was initially intended to be a revision of the

Ambient calculus

In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility.

Actor model and process calculi history

The actor model and process calculi share an interesting history and co-evolution.

Calculus of communicating systems

The calculus of communicating systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications b

Process calculus

In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level d

Language Of Temporal Ordering Specification

In computer science Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for communications protocol specification

Actor model and process calculi

In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history. There are m

Π-calculus

In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able

Join-calculus

The join-calculus is a process calculus developed at INRIA. The join-calculus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally a

Unbounded nondeterminism

In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitratio

PEPA

Performance Evaluation Process Algebra (PEPA) is a stochastic process algebra designed for modelling computer and communication systems introduced by Jane Hillston in the 1990s. The language extends c

MCRL2

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visual

Calculus of broadcasting systems

Calculus of broadcasting systems (CBS) is a CCS-like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers bei

Communicating sequential processes

In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories o

Stochastic probe

In process calculus a stochastic probe is a measurement device that measures the time between arbitrary start and end events over a stochastic process algebra model.

Sequential composition

No description available.

Construction and Analysis of Distributed Processes

CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team (formerly by the VASY te

API-Calculus

API Calculus is a program that solves calculus problems using operating systems within a device that solves calculus problems. In 1989 the PI- Calculus was created by Robin Milner and was very success

Algebra of communicating processes

The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algeb

© 2023 Useful Links.