2171 search results - page 271 / 435 » A Generic Process Algebra |
133
Voted
ITS
1998
Springer
15 years 7 months ago
1998
Springer
In some domains, including those requiring natural language understanding, we cannot build a system that can complete the entire task. One way to deal with such cases is to encode ...
123
Voted
IFM
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
107
click to vote
DSVIS
1995
Springer
15 years 7 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
212
click to vote
FPCA
1995
15 years 7 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
113
click to vote
MFCS
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...