106
Voted
ENTCS
2002
15 years 13 days ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
87
Voted
ENTCS
2002
15 years 13 days ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
97
Voted
ENTCS
2002
15 years 13 days ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
80
Voted
ENTCS
2002
15 years 13 days ago
2002
99
Voted
ENTCS
2002
15 years 13 days ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
136
Voted
ENTCS
2002
15 years 13 days ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
47
Voted
ENTCS
2002
15 years 13 days ago
2002
68
Voted
ENTCS
2002
15 years 13 days ago
2002
99
Voted
ENTCS
2002
15 years 13 days ago
2002
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...
98
Voted
ENTCS
2002
15 years 13 days ago
2002
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F(X) = X +O. In the present paper I will introduce a notion of weak ...