4. ARTS 1997:
Palma,
Mallorca,
Spain
Miquel Bertran, Teodor Rus (Eds.):
Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings.
Lecture Notes in Computer Science 1231 Springer 1997, ISBN 3-540-63010-4 BibTeX
@proceedings{DBLP:conf/arts/1997,
editor = {Miquel Bertran and
Teodor Rus},
title = {Transformation-Based Reactive Systems Development, 4th International
AMAST Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
booktitle = {ARTS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1231},
year = {1997},
isbn = {3-540-63010-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Honorary Session - Ramon Llull:
A Pioneer of Computer Science
Invited Lectures
Papers
- Sérgio Vale Aguiar Campos, Edmund M. Clarke:
The Verus Language: Representing Time Efficiently with BDDs.
64-78 BibTeX
- Antonio Cau, Hussein Zedan:
Refining Interval Temporal Logic Specifications.
79-94 BibTeX
- Teodor Rus, Eric Van Wyk:
Integrating Temporal Logics and Model Checking Algorithms.
95-110 BibTeX
- Henning Dierks:
PLC-Automata: A New Class of Implementable Real-Time Automata.
111-125 BibTeX
- Peter Scholz, Dieter Nazareth:
Communication Concepts for Statecharts: A Semantic Foundation.
126-140 BibTeX
- Pedro R. D'Argenio:
Regular Processes and Timed Automata.
141-155 BibTeX
- Konrad Feyerabend, Bernhard Josko:
A Visual Fomalism for Real-Time Requirement Specifications.
156-168 BibTeX
- Satoshi Yamane:
Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata.
169-183 BibTeX
- Kevin Lano, Ana Sánchez:
Transformational Formal Development of Real-Time Systems.
184-198 BibTeX
- Miquel Bertran:
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.
199-215 BibTeX
- Arnaud Février, Elie Najm, Jean-Bernard Stefani:
Contracts for ODP.
216-232 BibTeX
- Irina M. Smarandache, Paul Le Guernic:
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems.
233-247 BibTeX
- Ralph-Johan Back, Martin Büchi, Emil Sekerinski:
Action-Based Concurrency and Synchronization for Objects.
248-262 BibTeX
- Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran:
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.
263-279 BibTeX
- Luis A. Galán, Ricardo Pena:
Verification and Refinement of Distributed Programs in a Fair Framework.
280-294 BibTeX
- Zhiming Liu, Mathai Joseph:
Formalizing Real-Time Scheduling as Program Refinement.
295-309 BibTeX
- S. J. Goldsack, Kevin Lano, Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems.
310-324 BibTeX
- Farn Wang:
High-Level Execution Time Analysis.
325-339 BibTeX
- Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz:
A Sound and Complete Proof System for Probabilistic Processes.
340-352 BibTeX
- Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza:
Testing Semantics for a Probabilistic-Timed Process Algebra.
353-367 BibTeX
- Luis Fernando Llana Díaz, David de Frutos-Escrig:
Denotational Semantics for Timed Testing.
368-382 BibTeX
- Howard Bowman, John Derrick:
Extending LOTOS with Time: A True Concurrency Perspective.
383-399 BibTeX
- Christian Hernalsteen, Arnaud Février:
Introduction of a Suspend/Resume Operator in ET-LOTOS.
400-414 BibTeX
- Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira:
Specification and Verification of Real-Time Field Bus with Formal Description Languages.
415-429 BibTeX
Copyright © Sat May 16 22:58:31 2009
by Michael Ley (ley@uni-trier.de)
