|
СТ |
HOPLA - A Higher-Order Process Language |
2002 |
Nygaard M., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
04.09.2002 |
|
СТ |
A Linear Metalanguage for Concurrency |
1999 |
Winskel G. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Presheaf Models for Concurrency |
1997 |
Cattani G. L., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
18.07.1997 |
|
СТ |
A Note on Powerdomains and Modality |
1983 |
Winskel G. |
|
|
Univ. Carnegie-Mellon |
|
03.06.1995 |
|
СТ |
Synchronisation Trees |
1983 |
Winskel G. |
|
|
Univ. Carnegie-Mellon |
|
03.06.1995 |
|
СТ |
Stable Bistructure Models of PCF |
1994 |
Winskel G. |
|
|
|
Lecture Notes in Computer Science |
29.09.1994 |
|
СТ |
Bistructures, Bidomains and Linear Logic |
1994 |
Plotkin G., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
11.08.1994 |
|
СТ |
Linear Logic on Petri Nets |
1994 |
Engberg U., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Relationships Between Models of Concurrency |
1994 |
Nielsen M., Sassone V., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Deterministic Behavioural Models for Concurrency |
1993 |
Sassone V., Nielsen M., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
Completeness Results for Linear Logic on Petri Nets |
1993 |
Engberg U., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
A Classification of Models for Concurrency |
1993 |
Sassone V., Nielsen M., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
A note on model checking the modal v-calculus |
1991 |
Winskel G. |
|
|
|
Theoretical Computer Science |
10.09.1991 |
