Theoretical Computer Science
Communication and Concurrency
Handbook of Process Algebra
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification
Fundamenta Informaticae - Special issue on theory and applications of soft computing (TASC04)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Formal Modelling and Verification of Concurrent Systems with XCCS
ISPDC '08 Proceedings of the 2008 International Symposium on Parallel and Distributed Computing
Real World Haskell
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Labelled transition system generation from Alvis language
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Analysis of RTCP-nets with Reachability Graphs
Fundamenta Informaticae
Hi-index | 0.00 |
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 formal models verification with flexibility and simplicity of practical programming languages. Alvis provides a graphical modelling of interconnections among agents and a high level programming language used for the description of agents behaviour. Its semantic depends on the so-called system layer. The most universal system layer α0, described in the paper, makes Alvis similar to other formal languages like Petri nets, process algebras, time automata, etc.