89 search results - page 1 / 18 » Exploiting labels in Structural Operational Semantics |
47
Voted
SAC
2004
ACM
15 years 3 months ago
2004
ACM
SAJ
2000
14 years 10 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
14 years 10 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
14 years 8 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
15 years 1 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...