Volume 128, Number 1, May 2005
Proceedings of the Workshop on Structural Operational Semantics (SOS 2004)
: From Bialgebraic Semantics to Congruence Formats.
: Toward the Concept of Backtracking Computation.
: Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality.
: Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus.
Volume 128, Number 2, April 2005
Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004)
Rob J. van Glabbeek
: On the Expressiveness of Higher Dimensional Automata: (Extended Abstract).
: Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic.
Volume 128, Number 3, April 2005
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC 2004)
Volume 128, Number 4, April 2005
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004)
: Performability of a Secure Electronic Voting Algorithm.
Volume 128, Number 5, May 2005
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
: Data Privacy in Tuple Space Based Mobile Agent Systems.
, Mark Ryan
: Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks.
Volume 128, Number 6, May 2005
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)
: Towards a Small Model Theorem for Data Independent Systems in Alloy.
: Truly Concurrent Logic via In-Between Specification.
Paritosh K. Pandya
: Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search.