Hi Christian, could you please give a few references to surveys, or (hand)books where I would find a comprehensive (and preferably up to date) presentation of various models of true concurrency. There are several papers on this topic in the handbook of process algebra (North-Holland 2001). I know only of the work of G.Winskel et [...]
Hi Christian, could you please give a few references to surveys, or (hand)books where I would find a comprehensive (and preferably up to date) presentation of various models of true concurrency. There are several papers on this topic in the handbook of process algebra (North-Holland 2001). I know only of the work of G.Winskel et [...]
–===============1936436648== Content-Type: multipart/alternative; boundary=”—-=_Part_1861_12966618.1211728981708″ ——=_Part_1861_12966618.1211728981708 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline [Apologize if you receive multiple copies of this message] ********* Paper Submission Deadline Extended till May 30, 2008 ********* ======================================================================== The 11th Asia-Pacific Network Operations and Management Symposium APNOMS 2008 Call for Papers Date: October 22 ~ 24, 2008, Beijing, China Theme: Challenges [...]
********************************************************* * The Fourth International Workshop * * on * * Programming Language Interference and Dependence * * * * co-located with LOPSTR’08, PPDP’08 and SAS’08 * * * * 15 July, 2008, Valencia, Spain * * * * Venue: The Technical University of Valencia * * * * Last Call for Contributions * * [...]
++++ SIMUTools 2009 ++++ Second International Conference on Simulation Tools and Techniques March 2-6, 2009 – Rome (Italy) http://www.simutools.org ++ Sponsored by ICST ++ In technical cooperation with SIGSIM, SCS, INRIA (approval pending) ++ Paper submission deadline: October 19, 2008 ++ SIMUTools 2009 is the Second International Conference on Simulation Tools and Techniques. This edition, [...]