Journals in DBLP

Formal Asp. Comput.
2004, volume: 16, number: 3

1. Manfred Broy, Gerald Lüttgen, Michael Mendler
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:3, pp:165-0 [Journal]
   
2. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
   A generalized semantics of PROMELA for abstract model checking. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:3, pp:166-193 [Journal]
   
3. Ingolf Krüger, Wolfgang Prenninger, Robert Sandner
   Broadcast MSCs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:3, pp:194-209 [Journal]
   
4. Edward A. Lee, Yuhong Xiong
   A behavioral type system and its application in Ptolemy II. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:3, pp:210-237 [Journal]
   
5. Natalia López, Manuel Núñez, Fernando Rubio
   An integrated framework for the performance analysis of asynchronous communicating stochastic processes. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:3, pp:238-262 [Journal]
   
6. Mirabelle Nebut
   Specification and analysis of synchronous reactions. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:3, pp:263-291 [Journal]
   
7. Simone Tini
   Timed CCP compositionally embeds Argos and Lustre. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:3, pp:292-312 [Journal]