|
СТ |
OB(PN)2: An Object Based Petri Net Programming Notation |
2001 |
Lilius J. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
|
СТ |
Defining Precise Semantics for UML |
2000 |
Bruel J. -M., Lilius J., Moreira A., France R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
Modeling Actors with M-Nets |
1996 |
Lilius J. |
|
|
|
Workshop Concurrency, Specification & Programming |
03.12.1999 |
|
СТ |
An M-Net Semantics for B(PN) with Procedures |
1996 |
Lilius J., Pelz E. |
|
|
|
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 |
06.12.1996 |
|
СТ |
OB(PN): An Object Based Petri Net Programming Notation |
1996 |
Lilius J. |
Lecture Notes in Computer Science |
|
|
Euro-Par 96 Parallel Processing |
11.10.1996 |
|
СТ |
High-level Nets and Linear Logic |
1992 |
Lilius J. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
