Rigorous theory and real-world applications for modeling and analysis of the behavior of
complex communicating computer systems Complex communicating computer systems …

Abstract Structural Operational Semantics (SOS) provides a framework to give an
operational semantics to programming and specification languages, which, because of its …

Process algebra is a widely accepted and much used technique in the specification and
verification of parallel and distributed software systems. This book sets the standard for the …

This book is concerned with a number of theories that can be used for describ ing and
analyzing systems of interacting components in case it is desirable or necessary to regard …

Robin Milner (1984) gave a sound proof system for bisimilarity of regular expressions
interpreted as processes: Basic Process Algebra with unary Kleene star iteration, deadlock …

This paper explores the connection between semantic equivalences and preorders for
concrete sequential processes, represented by means of labeled transition systems, and …

This article presents a congruence format, in structural operational semantics, for rooted
branching bisimulation equivalence. The format imposes additional requirements on …

Recently, the ITU-standardised specification language Message Sequence Chart has been
extended with constructs for more complete and structured specifications. The new version …

Every day we witness the fast development of the hardware and software technology. This,
of course, is the reason that new and more complex systems controlled by some kind of …

Analyzing users' Web log data and extracting their interests of Web-watching behaviors are
important and challenging research topics of Web usage mining. Users visit their favorite …