http://ice08.dimi.uniud.it/ 2010-03-15T17:08:17+01:00 http://ice08.dimi.uniud.it/ http://ice08.dimi.uniud.it/lib/images/favicon.ico text/html 2009-12-05T10:00:56+01:00 Davide Grohmann http://ice08.dimi.uniud.it/doku.php?id=ice08:ice08&rev=1260003656&do=diff Synchronous and Asynchronous Interactions in Concurrent Distributed Systems ICALP 2008 affiliated workshop 6th of July 2008 - Reykjavik, Iceland Sponsors The ESF project AutoMathA. The University of Pisa. History Dependent Automata for Service Oriented Computing. text/html 2008-10-30T13:37:45+01:00 Davide Grohmann http://ice08.dimi.uniud.it/doku.php?id=start&rev=1225370265&do=diff Interaction and Concurrency Experiences (ICEs) is intended as a series of international scientific meetings oriented to researchers in various fields of theoretical computer science. The timeliness and novelty of these events relies both on the variety of the topics that will be treated on each event and on the adopted paper selection mechanism. text/html 2008-07-03T18:53:28+01:00 Davide Grohmann http://ice08.dimi.uniud.it/doku.php?id=ice08:programme&rev=1215104008&do=diff Papers The pre-proceedings can be downloaded in pdf format: [ICE 2008 pre-proceedings]. Programme Session 1 (9:00-10:30) 09:00 Opening 09:00-10:00 Invited Talk: A randomized implementation of synchronous communication in presence of mixed choice Catuscia Palamidessi 10:00-10:30 Symmetric and Asymmetric Asynchronous Interaction Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke Coffee break (10:30-11:00) Session 2 (11:00-12:30) 11:00-11:30 Counting the cost … text/html 2008-06-27T13:12:34+01:00 Davide Grohmann http://ice08.dimi.uniud.it/doku.php?id=ice08:sidebar&rev=1214565154&do=diff Home ICE 08 * Programme * Topics * Selection Procedure * Important Dates * Dissemination * Grants * Submission Guidelines * The Public Wiki * Program Committee * Invited Speakers * ICEcreamers Discussion Forum