Process Algebra with Strategic Interleaving

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-0490
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

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

Urheber
Bergstra, J. A.
Beteiligte Personen und Organisationen
Middelburg, Cornelis A.
SpringerLink (Online service)

DOI
10.1007/s00224-018-9873-2
URN
urn:nbn:de:101:1-2018091408450719220719
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:35 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Ähnliche Objekte (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

Verbundene Objekte