806 search results - page 138 / 162 » Algebraic Structures of B-series |
CSL
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
DATE
1998
IEEE
13 years 12 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
EUROMICRO
1998
IEEE
13 years 12 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
IFM
1999
Springer
13 years 12 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
IMPERIAL
1993
13 years 11 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...