Suchergebnisse - BAETEN, JOS C. M.

1

Sequential Value Passing Yields a Kleene Theorem for Processes von Baeten, Jos C. M., Luttik, Bas

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Expressiveness modulo bisimilarity of regular expressions with parallel composition von BAETEN, JOS C. M., LUTTIK, BAS, MULLER, TIM, VAN TILBURG, PAUL

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics von Baeten, Jos C. M., Carissimo, Cesare, Luttik, Bas

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30 - July 4, 2003. Proceedings von Baeten, Jos C.M, Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Unguardedness mostly means many solutions von Baeten, Jos C.M., Luttik, Bas

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings von Baeten, Jos C. M, Groote, Jan Frisco

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Un projet porté par les communautés scientifiques | Publier autrement : l'épopée d'Episciences et des overlay journals von Fargier, Nathalie, Druel, Stéphane, Baeten, Jos C. M., Reboul, Marianne

Volltext bestellen

Video

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, the Netherlands, August 24-27, 1999 Proceedings von Baeten, Jos C.M, Mauw, Sjouke

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) von Baeten, Jos C. M., Luttik, Bas

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) von Baeten, Jos C M, Luttik, Bas

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra von Baeten, Jos C. M., Bravetti, Mario

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

An Intersection Type System for Deterministic Pushdown Automata von Tsukada, Takeshi, Kobayashi, Naoki

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

A ground-complete axiomatisation of finite-state processes in a generic process algebra von BAETEN, JOS C. M., BRAVETTI, MARIO

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Cinderella versus the Wicked Stepmother von Bodlaender, Marijke Hans L., Hurkens, Cor A. J., Kusters, Vincent J. J., Staals, Frank, Woeginger, Gerhard J., Zantema, Hans

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification von Andova, Suzana, Baeten, Jos C. M., Willemse, Tim A. C.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics von Baeten, Jos C M, Carissimo, Cesare, Luttik, Bas

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

A Temporal Logic for Multi-threaded Programs von La Torre, Salvatore, Napoli, Margherita

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) von Baeten, Jos C. M., Luttik, Bas, Muller, Tim, van Tilburg, Paul

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Open Bisimulation for Quantum Processes von Deng, Yuxin, Feng, Yuan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Reactive Turing machines von Baeten, Jos C.M., Luttik, Bas, van Tilburg, Paul

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[12]

Sequential Value Passing Yields a Kleene Theorem for Processes von Baeten, Jos C. M., Luttik, Bas

Expressiveness modulo bisimilarity of regular expressions with parallel composition von BAETEN, JOS C. M., LUTTIK, BAS, MULLER, TIM, VAN TILBURG, PAUL

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics von Baeten, Jos C. M., Carissimo, Cesare, Luttik, Bas

Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30 - July 4, 2003. Proceedings von Baeten, Jos C.M, Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J

Unguardedness mostly means many solutions von Baeten, Jos C.M., Luttik, Bas

CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings von Baeten, Jos C. M, Groote, Jan Frisco

Un projet porté par les communautés scientifiques | Publier autrement : l'épopée d'Episciences et des overlay journals von Fargier, Nathalie, Druel, Stéphane, Baeten, Jos C. M., Reboul, Marianne

CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, the Netherlands, August 24-27, 1999 Proceedings von Baeten, Jos C.M, Mauw, Sjouke

Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) von Baeten, Jos C. M., Luttik, Bas

Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) von Baeten, Jos C M, Luttik, Bas

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra von Baeten, Jos C. M., Bravetti, Mario

An Intersection Type System for Deterministic Pushdown Automata von Tsukada, Takeshi, Kobayashi, Naoki

A ground-complete axiomatisation of finite-state processes in a generic process algebra von BAETEN, JOS C. M., BRAVETTI, MARIO

Cinderella versus the Wicked Stepmother von Bodlaender, Marijke Hans L., Hurkens, Cor A. J., Kusters, Vincent J. J., Staals, Frank, Woeginger, Gerhard J., Zantema, Hans

A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification von Andova, Suzana, Baeten, Jos C. M., Willemse, Tim A. C.

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics von Baeten, Jos C M, Carissimo, Cesare, Luttik, Bas

A Temporal Logic for Multi-threaded Programs von La Torre, Salvatore, Napoli, Margherita

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) von Baeten, Jos C. M., Luttik, Bas, Muller, Tim, van Tilburg, Paul

Open Bisimulation for Quantum Processes von Deng, Yuxin, Feng, Yuan

Reactive Turing machines von Baeten, Jos C.M., Luttik, Bas, van Tilburg, Paul

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle