427 search results - page 19 / 86 » On the Power of Labels in Transition Systems |
104
click to vote
ENTCS
2008
14 years 11 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
AIED
2005
Springer
15 years 5 months ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
91
Voted
ENTCS
2007
14 years 11 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
76
Voted
WWW
2003
ACM
16 years 12 days ago
2003
ACM
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
FOSSACS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...