Abstract is missing.
- What Was Llull Up To?Anthony J. Bonner. 1-14
- Llull as Computer Scientist or Why Llull Was One of UsTon Sales. 15-21
- Deductive Verification of Real-Time Systems Using STePNikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe. 22-43
- Refinement of TimeManfred Broy. 44-63
- The Verus Language: Representing Time Efficiently with BDDsSérgio Vale Aguiar Campos, Edmund M. Clarke. 64-78
- Refining Interval Temporal Logic SpecificationsAntonio Cau, Hussein Zedan. 79-94
- Integrating Temporal Logics and Model Checking AlgorithmsTeodor Rus, Eric {Van Wyk}. 95-110
- PLC-Automata: A New Class of Implementable Real-Time AutomataHenning Dierks. 111-125
- Communication Concepts for Statecharts: A Semantic FoundationPeter Scholz, Dieter Nazareth. 126-140
- Regular Processes and Timed AutomataPedro R. D Argenio. 141-155
- A Visual Fomalism for Real-Time Requirement SpecificationsKonrad Feyerabend, Bernhard Josko. 156-168
- Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed AutomataSatoshi Yamane. 169-183
- Transformational Formal Development of Real-Time SystemsKevin Lano, Ana Sánchez. 184-198
- A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in DesignMiquel Bertran. 199-215
- Contracts for ODPArnaud Février, Elie Najm, Jean-Bernard Stefani. 216-232
- Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time SystemsIrina M. Smarandache, Paul Le Guernic. 233-247
- Action-Based Concurrency and Synchronization for ObjectsRalph-Johan Back, Martin Büchi, Emil Sekerinski. 248-262
- Communication Extended Abstract Types in the Refinement of Parallel Communicating ProcessesMiquel Bertran, Felipe Alvarez-Cuevas, Albert Duran. 263-279
- Verification and Refinement of Distributed Programs in a Fair FrameworkLuis A. Galán, Ricardo Pena. 280-294
- Formalizing Real-Time Scheduling as Program RefinementZhiming Liu, Mathai Joseph. 295-309
- Specification and Refinement of Continuous Real-Time SystemsS. J. Goldsack, Kevin Lano, Eugène Dürr. 310-324
- High-Level Execution Time AnalysisFarn Wang. 325-339
- A Sound and Complete Proof System for Probabilistic ProcessesFernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz. 340-352
- Testing Semantics for a Probabilistic-Timed Process AlgebraCarlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza. 353-367
- Denotational Semantics for Timed TestingLuis Fernando Llana Díaz, David de Frutos-Escrig. 368-382
- Extending LOTOS with Time: A True Concurrency PerspectiveHoward Bowman, John Derrick. 383-399
- Introduction of a Suspend/Resume Operator in ET-LOTOSChristian Hernalsteen, Arnaud Février. 400-414
- Specification and Verification of Real-Time Field Bus with Formal Description LanguagesPerfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira. 415-429