Verfasser Suchresultate :: Subito Katalog

1

Comparing the Expressiveness of the z-calculus and CCS

von Glabbeek, Rob van
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

The linear time - branching time spectrum

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

The linear time - branching time spectrum

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Branching time and abstraction in bisimulation semantics

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Modular specification of process algebras

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

A deadlock-sensitive congruence for action refinement

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Branching time and abstraction in bisimulation semantics

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Equivalences and refinement

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Equivalence notions for concurrent systems and refinement of actions

von Glabbeek, Rob van
Veröffentlicht 1989

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Equivalences and refinement

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Modular specification of process algebras

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Refinement of actions in causality : based models

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

A deadlock-sensitive congruence for action refinement

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Refinement of actions and equivalence notions for concurrent systems

von Glabbeek, Rob van
Veröffentlicht 1998

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Just Testing

von Glabbeck, Rob van
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

On classes of distributed petri nets

von Schicke-Uffmann, Jens-Wolfhard
Veröffentlicht 2018

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Branching time and abstraction in bisimulation semantics : Contract TUM-INFO-12-90-I-52-540--1-FMI

von Glabbeek, Rob van
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Computing natural language

Veröffentlicht 1998

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: