1
Concepts, syntax and semantics of segras: a specification language for distributed systems /
Book
Loan/Reservation

Favorites
Saved in:
2
Specification and correct implementation of nonsequential systems combining abstract data types and petri nets /
Book
Loan/Reservation

Favorites
Saved in:
3
Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme /
Book
Loan/Reservation

Favorites
Saved in:
4
Application of rewriting techniques to solve the generalized word problem in groups.
Book
Kuhn, N.
1989
Loan/Reservation

Favorites
Saved in:
5
Über die Darstellung von CCS-Programmen durch Petrinetze /
Book
Loan/Reservation

Favorites
Saved in:
6
Fairness bei nebenläufigen Systemen: eine Untersuchung am Modell der Petrinetze.
Book
Loan/Reservation

Favorites
Saved in:
7
Modelling of task flow in systems of functional units.
Book
Valk, R.
1987
Loan/Reservation

Favorites
Saved in:
8
An introduction to model theory.
Book
Loan/Reservation

Favorites
Saved in:
9
Ein Editor für Unparsing Schemes.
Book
Loan/Reservation

Favorites
Saved in:
10
It is decidable in polynomial time whether a monoid presented by a finite weight reducing and confluent thue system is torsion free.
Book
Loan/Reservation

Favorites
Saved in:
11
RELFUN: a relational/functional integration with valued clauses.
Book
Boley, H.
1986
Loan/Reservation

Favorites
Saved in:
12
Commutativity in groups presented by finite Church Rosser Thue systems.
Book
Loan/Reservation

Favorites
Saved in:
13
On the concurrent behaviour of petri nets.
Book
Kiehn, A.
1986
Loan/Reservation

Favorites
Saved in:
14
On deciding the confluence of a finite string rewriting system on a given congruence class.
Book
Otto, F.
1986
Loan/Reservation

Favorites
Saved in:
15
Using string rewriting for solving the word problem for finitely presented groups.
Book
Loan/Reservation

Favorites
Saved in:
16
Generative attributierte Grammatiken /
Book
Loan/Reservation

Favorites
Saved in:
17
Spezifikation von Programmiersprachen und Übersetzern /
Book
Uhl, J.
1986
Loan/Reservation

Favorites
Saved in:
18
The undecidability of self embedding for finite semi Thue and Thue systems.
Book
Otto, F.
1986
Loan/Reservation

Favorites
Saved in:
19
Two net oriented semantics for tcsp.
Book
Loan/Reservation

Favorites
Saved in:
20
Natural language description of time varying scenes.
Book
Loan/Reservation

Favorites
Saved in:

Narrow Search Results