946 search results - page 12 / 190 » Process Algebra and Non-Interference |
117
click to vote
WER
2010
Springer
14 years 9 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
ICIP
2002
IEEE
16 years 1 months ago
2002
IEEE
ISSAC
1992
Springer
15 years 3 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
172
click to vote
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
FORTE
2001
15 years 1 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...