|
СТ |
Expressively of Timed Petri Nets: Classical versus Time-Critical Viewpoint |
1994 |
Cerone A., Maggiolo-Schettini A. |
|
|
|
Concurrency Specification and Programming: Proc./CS&P 93 Workshop, Nieborow near Warsaw, Poland, 14-16 October 1993 |
28.10.1994 |
|
СТ |
Timed Network Semantics for Communicating Processes |
1994 |
Gruska D. P., Maggiolo-Schettini A. |
|
|
Univ.Warsaw, Humboldt Univ. Berlin |
Proceedings of the CS@P 93 Workshop |
09.11.1995 |
|
СТ |
Transitions as Interupts: A New Semantics for Timed Statecharts |
1994 |
Peron A., Maggiolo-Schettini A. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
Expressivity of Timed Petri Nets: Classical versus Time-Critical Viewpoint |
1994 |
Cerone A., Maggiolo-Schettini A. |
|
|
Univ.Warsaw, Humboldt Univ. Berlin |
Proceedings of the CS@P 93 Workshop |
09.11.1995 |
|
СТ |
A kernel language for programmed rewriting of (hyper)graphs |
1996 |
Maggiolo-Schettini A., Winkowski J. |
|
|
|
Acta Informatica |
11.10.1996 |
|
СТ |
Dynamic Graphs |
1996 |
Maggiolo-Schettini A., Winkowski J. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
|
СТ |
Priorities in Statecharts |
1997 |
Maggiolo-Schettini A., Merro M. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
A Causal Semantics for Timed Default Concurrent Constraint Programming |
2000 |
Tini S., Maggiolo-Schettini A. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
