scientific article; zbMATH DE number 1418816

zbMath0941.03534MaRDI QIDQ4942098

Costa, José Félix, Cristina Sernadas, Amílcar Sernadas

Publication date: 30 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Temporal logic (03B44) Categories of machines, automata (18B20)

Related Items (1)

A two-level temporal logic for evolving specifications.

This page was built for publication: