|
СТ |
Relational structures model of concurrency |
2008 |
Janicki R. |
|
|
|
Acta Informatica |
04.07.2008 |
|
СТ |
A Generalization of a Relational Structures Model of Concurrency |
2005 |
Janicki R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
СТ |
Mazurkiewicz Traces Semantics for Communicating Sequential Processes |
1988 |
Janicki R. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
|
П |
Generalised Invariant Semantics of Concurrent Systems |
1990 |
Janicki R., Koutny M. |
|
|
Department of Computer Science and Systems |
|
11.05.1995 |
|
СТ |
Deriving Histories of Nets with Priority Relation |
1994 |
Janicki R., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
|
СТ |
Invariants and Paradigms of Concurrency Theory |
1991 |
Janicki R., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
|
СТ |
Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards |
1990 |
Janicki R., Muldner T. |
|
|
|
Theoretical Computer Science |
12.02.1991 |
