26 search results - page 6 / 6 » On the Formal Semantics of Speech-Act Based Communication in... |
WOTUG
2008
13 years 8 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...