Verfasser Suchresultate :: Subito Katalog

1

Towards linear logic Petri nets : from P T nets to object systems

von Farwer, Berndt
Veröffentlicht 1998

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Towards linear logic Petri nets : from P/T-nets to object systems

von Farwer, Berndt
Veröffentlicht 1998

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A linear logic view of object Petri Nets

von Farwer, Berndt
Veröffentlicht in Fundamenta Informaticae 37(1999) (1999)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Towards linear logic Petri nets : from P/T-nets to object systems

von Farwer, Berndt
Veröffentlicht 1998

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Towards a linear logic based calculus for structural modifications of Petri nets

von Farwer, Berndt
Veröffentlicht in Proceedings of the International Workshop on Concurrency, Specification and Programming (CSP9́9), Warschau, September 28-30, 1999 (1999)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Mathematische Logik für Informatiker : Vorlesung SS 1996

von Valk, Rüdiger
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Object Petri nets, processes, and object calculi

Veröffentlicht 2005

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Model checking object Petri nets in Maude and Prolog

von Farwer, Berndt
Veröffentlicht 2004

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Petri-net-controlled machine models

von Farwer, Berndt
Veröffentlicht 2006

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

LAM0́8 : proceedings of the 1st International Workshop on Logics for Agents and Mobility 2008

Veröffentlicht 2008

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Nichtklassische Logiken

von Farwer, Bernd
Veröffentlicht 1993

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Petri nets in system engineering : modelling, verification, and validation

Veröffentlicht 1997

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Petri nets in system engineering : modelling, verification, and validation

Veröffentlicht 1997

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Petri nets in system engineering (PNSE'97) : modelling, verification, and validation ; [proceedings of the workshop ... held on September 25-26, 1997]

Veröffentlicht 1997

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Linear logic based calculi for object Petri nets

von Farwer, Berndt
Veröffentlicht 2000

Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: