Model-100: specification language for interacting processes

DOI10.1134/S0361768807010021zbMath1120.68405OpenAlexW2057808557MaRDI QIDQ2371553

A. V. Babichev, V. G. Lebedev

Publication date: 5 July 2007

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768807010021

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Modelica

Cites Work

• Fundamental properties of infinite trees
• Weak monadic theories of the second order as a basis for creating data specification languages

This page was built for publication: Model-100: specification language for interacting processes