A behavioral type system and its application in Ptolemy II

DOI10.1007/S00165-004-0043-8zbMATH Open1086.68029OpenAlexW2002763600MaRDI QIDQ1882802FDOQ1882802

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

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

zbMATH Keywords

PolymorphismAlternating simulationBehavioral subtypingBehavioral typesComponent-based designInterface automata

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• CPO semantics of timed interactive actor networks
• The design and application of structured types in Ptolemy II
• Typing the behavior of software components using session types
• Title not available (Why is that?)

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)