942 search results - page 35 / 189 » Process Algebraic Non-product-forms |
CONCUR
2006
Springer
14 years 2 months ago
2006
Springer
We propose the notions of "density" and "connectivity" of infinite process graphs and investigate them in the context of the wellknown process algebras BPA and ...
COMPGEOM
2008
ACM
14 years 23 days ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
FORTE
1998
14 years 9 days ago
1998
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...
ARTS
1997
Springer
14 years 3 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
ENTCS
2010
13 years 11 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...