2171 search results - page 128 / 435 » A Generic Process Algebra |
135
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
153
click to vote
TCS
2002
15 years 2 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
139
click to vote
AMAST
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
113
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
216
click to vote
FSTTCS
2010
Springer
15 years 17 days 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...