Workshop on Distributed Systems
WDS is a satellite workshop of FCT'99
(12th International Symposium on
Fundamentals of Computation Theory), Aug. 30 - Sept. 2 1999,
Iasi, Romania.
Topics:
Papers presenting new results in all areas of formal methods applied
to distributed systems are welcome. Special topics of interests are:
action calculi, Chu spaces, coalgebraic methods, concurrency theory,
data-flow networks, interaction categories, linear logic based models,
mixed control and data-flow models, mobile networks, Petri nets,
process algebra and related calculi, reactive and real-time systems,
etc.
Tentative Programme
- 8.50 - 9.00 Opening of WDS'99
Section 1: Models and Semantics
- 9.00 - 10.00 Invited Lecture
D. Hirsch and U. Montanari : "Consistent
transformations for software architecture styles of distributed
systems"
- 10.00 - 10.30 R. Morin :
"Hierarchy of asynchronous
automata"
- 10.30 - 11.00 Coffee Break
- 11.00 - 11.30 P. Krishnan :
"Distributed timed
automata"
- 11.30 - 12.00 T. Stauner and C. Grimm :
"Prototyping
of hybrid systems
- from HyCharts to Hybrid Data-Flow Graphs"
- 12.00 - 12.30 E. Todoran :
"Metric semantics for
synchronous and
asynchronous communications: a continuation-based
approach"
- 12.30 - 14.30 Lunch
Section 2: Verification Techniques
- 14.30 - 15.30 Invited Lecture
J.A. Goguen and G. Rosu : "A protocol
for distributed cooperative work"
- 15.30 - 16.00 Communication: J.F. Groote and J. vanWamel
:
"Basic
theorems for parallel processes in timed miu-CRL"
- 16.00 - 16.30 Coffee Break
- 16.30 - 17.00 Communication: F. Martinelli :
"A
uniform approach for
the solution of module checking problems"
- 17.00 - 17.30 W. Penczek and A. Ambroszkiewicz
:
"Model checking of
causal knowledge formulas"
- 17.30 - 18.00 Coffee
Break
Section 3: Mobile Systems
- 18.00 - 19.00 Invited Lecture
M. Hennessy : "Secure partial typing of
mobile agents in open systems"
- 19.00 - 19.30 L. Petre, K. Sere, and M. Walden :
"A
topological
approach to distributed computing"
- 19.30 - 20.00 Communication: C. Zlatea and T. Elrad
:
"DUALITY: A
design model for mobile distributed systems based on partial order
semantics"
Programme Committee:
- M. Broy (Munich, D)
- R. Diaconescu (Bucharest, RO)
- J. Esparza (Munich, D)
- J.F. Groote (Amsterdam, NL)
- R. Grosu (Philadelphia, USA)
- M. Kanovitch (Moscow, RU)
- D. Lucanu (Iasi, RO)
- R. De Nicola (Firenze, I)
|
- B. Moller (Augsburg, D)
- F. Moller (Uppsala, S)
- A. Ponse (Amsterdam, NL)
- T. Rus (Iowa City, USA)
- E. Stark (Stony Brock, USA)
- Gh. Stefanescu (Bucharest, RO) - chair
- D. Walker (Oxford, UK)
|
|
|
PS version
