Process Algebra with Strategic Interleaving

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-0490
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Process Algebra with Strategic Interleaving ; day:8 ; month:8 ; year:2018 ; pages:1-18
Theory of computing systems ; (8.8.2018), 1-18

Creator
Bergstra, J. A.
Contributor
Middelburg, Cornelis A.
SpringerLink (Online service)

DOI
10.1007/s00224-018-9873-2
URN
urn:nbn:de:101:1-2018091408450719220719
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:35 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Other Objects (12)

Process algebra with timing

Process algebra with timing

A Thread Algebra with Multi-Level Strategic Interleaving

A Thread Algebra with Multi-Level Strategic Interleaving

Thread algebra for strategic interleaving

Thread algebra for strategic interleaving

Process based strategic planning

Process based strategic planning

Process based strategic planning

Process based strategic planning

Process-based strategic planning

Process-based strategic planning

Process based strategic planning

Process based strategic planning

Process based strategic planning

Process based strategic planning

Process based strategic planning

Process based strategic planning

An asynchronous process algebra with multiple clocks

An asynchronous process algebra with multiple clocks

Introduction to process algebra

Introduction to process algebra

Reactive bisimulation semantics for a process algebra with timeouts

Reactive bisimulation semantics for a process algebra with timeouts

Related objects