scientific article; zbMATH DE number 140239

zbMATH Open0765.68113MaRDI QIDQ4028626FDOQ4028626

Authors: Ferdinando Lucidi, Tommaso Bolognesi 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

• Testing semantics for urgent timed process algebras
• An algebraic framework for urgency
• 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

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)