950 search results - page 46 / 190 » Process Algebra in PVS |
129
click to vote
EPEW
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
133
click to vote
ENTCS
2007
15 years 3 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
136
click to vote
IANDC
2010
15 years 13 days ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
135
click to vote
PARLE
1987
15 years 6 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
125
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
The two observations that 1) many XML documents are stored in a database or generated from data stored in a database and 2) processing these documents with XSL stylesheet processo...