2373 search results - page 93 / 475 » The Design of the Zinc Modelling Language |
210
click to vote
FOSSACS
2001
Springer
15 years 10 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
165
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
187
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
185
click to vote
JUCS
2000
15 years 5 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
177
click to vote
VLC
2008
15 years 6 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...