89 search results - page 1 / 18 » Exploiting labels in Structural Operational Semantics |
SAC
2004
ACM
13 years 11 months ago
2004
ACM
SAJ
2000
13 years 5 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
SOSYM
2002
13 years 5 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
BIRTHDAY
2009
Springer
13 years 3 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
LICS
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...