Вы здесь

Busi N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 2000 Baldan P., Busi N., Corradini A., Pinna G. M. Lecture Notes in Computer Science 15.09.2000
СТ Process Calculi for Coordination: From Linda to JavaSpaces 2000 Busi N., Gorrieri R., Zavattaro G. Lecture Notes in Computer Science 17.06.2000
СТ On the Expressiveness of Event Notification in Data-Driven Coordination Languages 2000 Busi N., Zavattaro G. Lecture Notes in Computer Science 25.04.2000
СТ Non Sequential Semantics for Contextual P/T Nets 1996 Busi N., Pinna G. M. Lecture Notes in Computer Science 01.08.1996
СТ A Petri Net Semantics for Pi-calculus 1995 Busi N., Gorrieri R. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ Distributed Conflicts in Communicating Systems 1995 Busi N., Gorrieri R. Lecture Notes in Computer Science Object-Based Models and Languages for Concurrent Systems 30.08.1995