1195 search results - page 88 / 239 » Modeling an Algebraic Stepper |
163
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
163
click to vote
AIEDU
2005
15 years 6 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
172
click to vote
SEFM
2006
IEEE
16 years 12 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
177
click to vote
ENTCS
2008
15 years 6 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 ...
177
click to vote
WEBDB
2005
Springer
15 years 12 months ago
2005
Springer
In the relational model it has been shown that the flat relational algebra has the same expressive power as the nested relational algebra, as far as queries over flat relations ...