|
Journals in DBLP
- Flavio Corradini, Uwe Nestmann
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:1-3 [Journal]
- Luca Aceto
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:5-6 [Journal]
- Michael W. Mislove, Joël Ouaknine, James Worrell
Axioms for Probability and Nondeterminism. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:7-28 [Journal]
- Sergio Maffeis, Iain Phillips
On the Computational Strength of Pure Ambient Calculi. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:29-49 [Journal]
- Étienne Lozes
Adjuncts elimination in the static ambient logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:51-72 [Journal]
- Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
On the Representation of McCarthy's amb in the -calculus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:73-89 [Journal]
- Ruggero Lanotte
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:91-112 [Journal]
- Harald Fecher
Event Structures for Interrupt Process Algebras. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:113-127 [Journal]
- Christie Bolton, Gavin Lowe
A Hierarchy of Failures-Based Models. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:129-152 [Journal]
- Richard Mayr
Weak Bisimilarity and Regularity of Context-Free Processes is EXPTIME-hard. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:153-172 [Journal]
|