The chapter presents a description of a novel modelling language called Alvis defined for
the design of concurrent especially real-time systems. Alvis combines the advantages of …

Formal modelling languages range from strictly textual ones like process algebra scripts to
visual modelling languages based on hierarchical graphs like coloured Petri nets …

The paper presents a formal description of a subset of the Alvis language designed for the
modelling and formal verification of concurrent systems. Alvis combines possibilities of a …

The paper presents the semantics for the time version of the Alvis modelling language. Alvis
combines possibilities of formal models verification with flexibility and simplicity of practical …

Alvis is a formal modelling language for concurrent systems with the following advantages: a
graphical modelling language used to define interconnections among agents, a high level …

The coarsest bisimulation-finding problem plays an important role in the formal analysis of
concurrent systems. For example, solving this problem allows the behavior of different …

Alvis is a modelling language designed for the modelling and formal verification of
embedded systems. The key concept of Alvis is an agent that denotes any distinguished part …

Alvis, a modelling language for concurrent systems, combines the advantages of formal
methods and practical modelling languages. Even though Alvis has its origins in process …

An embedded system usually consists of a set of sensors cooperating with one or more
decisions centres. The design of such a system complicates in respect of both a complicated …

Alvis is a modelling language designed for embedded systems that provides a possibility of
a formal model verification. Because of the fact that many embedded systems contain a rule …