水槽 发表于 2025-4-1 02:10:33

http://reply.papertrans.cn/23/2205/220450/220450_61.png

Medicaid 发表于 2025-4-1 06:11:23

Transition Systems of Elementary Net Systems with Localities locally synchronous systems. The considered model of Elementary Net Systems with Localities (ENL-systems) is basically that of Elementary Net Systems (EN-systems) equipped with an explicit notion of locality. Each locality identifies a distinct set of events which may only be executed synchronously

粗鲁的人 发表于 2025-4-1 12:25:29

http://reply.papertrans.cn/23/2205/220450/220450_63.png

入会 发表于 2025-4-1 16:48:20

http://reply.papertrans.cn/23/2205/220450/220450_64.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: CONCUR 2006 - Concurrency Theory; 17th International C Christel Baier,Holger Hermanns Conference proceedings 2006 Springer-Verlag Berlin He