Suchergebnisse - Guessarian, I.

1

Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings von Guessarian, Irène

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Action versus state based logics for transition systems von De Nicola, Rocco, Vaandrager, Frits

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Flow event structures and flow nets von Boudol, Gérard

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Transforming constraint logic programs von Bensaou, N., Guessarian, I.

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

CCS and petri nets von Goltz, Ursula

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Causal trees interleaving + causality von Darondeau, Philippe, Degano, Pierpaolo

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Equivalences and refinement von van Glabbeek, Rob J., Goltz, Ursula

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Infinite traces von Gastin, Paul

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Tree inclusions in windows and slices von Guessarian, I., Cégielski, P.

Veröffentlicht in Journal of mathematical sciences (New York, N.Y.)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Concurrency and computability von Darondeau, Ph

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Transition systems with algebraic structure as models of computations von Corradini, Andrea, Ferrari, Gian Luigi, Montanari, Ugo

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Observers, experiments, and agents: A comprehensive approach to parallelism von Kasangian, Stefano, Labella, Anna, Pettorossi, Alberto

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Partially commutative formal power series von Duchamp, G., Krob, D.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

On distributed languages and models for distributed computation von Rozoy, Brigitte

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Concerning the size of clocks von Charron-Bost, Bernadette

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

About fixpoints for concurrency von Guessarian, Irène

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Approaching fair computations by ultra metrics von Priese, Lutz

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Processes as data types: Observational semantics and logic von Astesiano, Egidio, Giovini, Alessandro, Reggio, Gianna

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Editorial von Guessarian, I.

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Algebraic semantics von Guessarian, Irène

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings von Guessarian, Irène

Action versus state based logics for transition systems von De Nicola, Rocco, Vaandrager, Frits

Flow event structures and flow nets von Boudol, Gérard

Transforming constraint logic programs von Bensaou, N., Guessarian, I.

CCS and petri nets von Goltz, Ursula

Causal trees interleaving + causality von Darondeau, Philippe, Degano, Pierpaolo

Equivalences and refinement von van Glabbeek, Rob J., Goltz, Ursula

Infinite traces von Gastin, Paul

Tree inclusions in windows and slices von Guessarian, I., Cégielski, P.

Concurrency and computability von Darondeau, Ph

Transition systems with algebraic structure as models of computations von Corradini, Andrea, Ferrari, Gian Luigi, Montanari, Ugo

Observers, experiments, and agents: A comprehensive approach to parallelism von Kasangian, Stefano, Labella, Anna, Pettorossi, Alberto

Partially commutative formal power series von Duchamp, G., Krob, D.

On distributed languages and models for distributed computation von Rozoy, Brigitte

Concerning the size of clocks von Charron-Bost, Bernadette

About fixpoints for concurrency von Guessarian, Irène

Approaching fair computations by ultra metrics von Priese, Lutz

Processes as data types: Observational semantics and logic von Astesiano, Egidio, Giovini, Alessandro, Reggio, Gianna

Editorial von Guessarian, I.

Algebraic semantics von Guessarian, Irène

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle