A behavioral type system and its application in Ptolemy II

DOI10.1007/S00165-004-0043-8MaRDI QIDQ1882802zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2080762
• scientific article; zbMATH DE number 1629952
• Typing the behavior of software components using session types
• The design and application of structured types in Ptolemy II
• Algebraic Methodology and Software Technology

Cited in

(5)

• The design and application of structured types in Ptolemy II
• scientific article; zbMATH DE number 2080762 (Why is no real title available?)
• scientific article; zbMATH DE number 1629952 (Why is no real title available?)
• CPO semantics of timed interactive actor networks
• Typing the behavior of software components using session types

Describes a project that uses

Uses Software

• JML

This page was built for publication: A behavioral type system and its application in Ptolemy II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1882802)