An MSC Based Representation of DiCons

13 years 6 months ago

Download www.win.tue.nl

Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.

Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw

Real-time Traffic

Formal Language | Graphical Msc-based Representation | Language Dicons | SDL 2001 | SDL 2007 |

claim paper

» A constructive algorithm for realizing a distance matrix

» A characterization of intervalvalued residuated lattices

» Simulationbased analysis of UML statechart diagrams methods and case studies

» A domain decomposition solver for ferromagnetism

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	SDL
Authors	Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw

Comments (0)

Sciweavers

An MSC Based Representation of DiCons

Formal Language | Graphical Msc-based Representation | Language Dicons | SDL 2001 | SDL 2007 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers