scientific article; zbMATH DE number 140239

MaRDI QIDQ4028626zbMATH OpenFDO

Authors Ferdinando Lucidi, Tommaso Bolognesi

Publication date 28 March 1993

zbMATH Keywords

process algebraLOTOS

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A process algebra for timed systems
• A formal definition of time in LOTOS
• The algebra of timed processes, ATP: Theory and application
• Formal Methods for the Design of Real-Time Systems
• Timing and causality in process algebra

Cited in

(11)

• An algebraic framework for urgency
• Testing semantics for urgent timed process algebras
• The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components.
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
• TIC: a tImed calculus
• The algebra of timed processes, ATP: Theory and application
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• The expressive power of urgent, lazy and busy-waiting actions in timed processes
• An overview and synthesis on timed process algebras
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028626)