A behavioral type system and its application in Ptolemy II

DOI10.1007/s00165-004-0043-8zbMath1086.68029OpenAlexW2002763600MaRDI QIDQ1882802

Edward A. Lee, Yuhong Xiong

Publication date: 1 October 2004

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://escholarship.org/uc/item/1nr5n0ps

zbMATH Keywords

PolymorphismAlternating simulationBehavioral subtypingBehavioral typesComponent-based designInterface automata

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

CPO semantics of timed interactive actor networks

Uses Software

• JML