Volume 16, Issue 3

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

August 2004

7 articles in this issue

Editorial
Manfred Broy
Gerald Lüttgen
Michael Mendler
OriginalPaper Pages: 165 - 165
A generalized semantics of PROMELA for abstract model checking
María del Mar Gallardo
Pedro Merino
Ernesto Pimentel
OriginalPaper 20 May 2004 Pages: 166 - 193
Broadcast MSCs
I. Krüger
W. Prenninger
R. Sandner
OriginalPaper 25 June 2004 Pages: 194 - 209
A behavioral type system and its application in Ptolemy II
Edward A. Lee
Yuhong Xiong
OriginalPaper 11 May 2004 Pages: 210 - 237
An integrated framework for the performance analysis of asynchronous communicating stochastic processes
Natalia López
Manuel Núñez
Fernando Rubio
OriginalPaper 10 May 2004 Pages: 238 - 262
Specification and analysis of synchronous reactions
Mirabelle Nebut
OriginalPaper 23 June 2004 Pages: 263 - 291
Timed CCP compositionally embeds Argos and Lustre
Simone Tini
OriginalPaper 10 May 2004 Pages: 292 - 312

Volume 16, Issue 3

Editorial

A generalized semantics of PROMELA for abstract model checking

Broadcast MSCs

A behavioral type system and its application in Ptolemy II

An integrated framework for the performance analysis of asynchronous communicating stochastic processes

Specification and analysis of synchronous reactions

Timed CCP compositionally embeds Argos and Lustre

Search

Navigation