198 search results - page 36 / 40 » Concurrent Kleene Algebra |
250
Voted
BIRTHDAY
2004
Springer
16 years 25 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
189
click to vote
GG
2004
Springer
16 years 24 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
207
click to vote
MEMOCODE
2003
IEEE
16 years 21 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
192
click to vote
FSTTCS
2003
Springer
16 years 19 days ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
222
click to vote
ISSTA
2009
ACM
16 years 2 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...