scientific article; zbMATH DE number 140239

MaRDI QIDQ4028626zbMATH OpenFDO

Authors Ferdinando Lucidi, Tommaso Bolognesi

Publication date 28 March 1993

zbMATH Keywords

LOTOSprocess algebra

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

(13)

• TIC: a tImed calculus
• The algebra of timed processes, ATP: Theory and application
• An algebraic framework for urgency
• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• 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.
• The expressive power of urgent, lazy and busy-waiting actions in timed processes
• Failure trace semantics for a process algebra with time-outs
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• Testing semantics for urgent timed process algebras
• An overview and synthesis on timed process algebras
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• Causal reversibility in nondeterministic process calculi extended with time or probabilities

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)