|
СТ |
The ProC/BToolset for the Modeling and Analysis of Process Chains |
2002 |
Bause F., Beilner H., Fischer M., Kemper P., Volker M. |
|
|
|
Lecture Notes in Computer Science |
29.05.2002 |
|
СТ |
PVM for SCI Clusters |
1999 |
Fischer M., Reinefeld A. |
|
|
|
Lecture Notes in Computer Science |
02.12.1999 |
|
СТ |
Representing and Executing Agent-Based Systems |
1995 |
Fischer M. |
|
|
|
Lecture Notes in Artificial Intelligence |
31.03.1995 |
|
СТ |
An Introduction to Executable Modal and Temporal Logics |
1995 |
Fischer M., Owens R. |
|
|
|
Lecture Notes in Artificial Intelligence |
31.03.1995 |
|
СТ |
Towards a Semantics for Concurrent MetateM |
1995 |
Fischer M. |
|
|
|
Lecture Notes in Artificial Intelligence |
31.03.1995 |
|
СТ |
Unifying Software Elements with LISP-based Object-Oriented Technology |
1993 |
Fischer M. |
|
|
|
LISP Pointers |
29.03.1994 |
|
СТ |
A Theoretician s View of Fault Tolerant Distributed Computing |
1990 |
Fischer M. |
|
|
|
Lecture Notes in Computer Science |
12.02.1991 |
