Archive for December 25th, 2008

(PN) About “transition fusion” in CPN tools?

??????? MIME ????????????? –===============0139223867== Content-Type: multipart/alternative; boundary=”—-=_NextPart_000_0001_01C966A1.07267B20″ Content-Language: zh-cn ??????? MIME ????????????? ——=_NextPart_000_0001_01C966A1.07267B20 Content-Type: text/plain; charset=”us-ascii” Content-Transfer-Encoding: 7bit Dear all, Is there any support in Cpn tools on “transition fusion”? I’d like to simulate the signal sending like “stop!” and signal reception “stop?” with this tool. I suppose that it can be simulated by two [...]

[Concurrency] GALOP IV @ ETAPS 2009 CfP

———————————————————————- GaLoP IV 4th Workshop on Games for Logic and Programming Languages (satellite event of ETAPS 2009) *** CALL FOR PAPERS *** York, United Kingdom 28-29 March 2009 http://web.comlab.ox.ac.uk/galop09/ ———————————————————————- GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work [...]