434 search results - page 39 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
144
click to vote
LCPC
1992
Springer
15 years 4 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
109
click to vote
HASE
1999
IEEE
15 years 4 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
127
click to vote
ECMDAFA
2009
Springer
15 years 6 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
LICS
1992
IEEE
15 years 4 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...