Questions tagged [ccs]
CCS (Calculus of Communicating Systems) is a process calculus, one of the major models of concurrency, intended for modeling communications between two participants
5
questions
1
vote
1
answer
218
views
How to draw an LTS based on the parallel process "|" in CCS Milner's logic?
I'm trying to provide a Hennessy-Milner logic formula for CCS expressions that are not (strongly) bisimilar. An example with a sketch:
For each of the following CCS expressions, decide whether ...
user82869
5
votes
1
answer
141
views
Are two CCS processes equivalent with respect to weak bisimilarity if and only if they satisfy exactly the same set of HML formulas?
I was skimming this recent paper and I was struck by the following statement:
two processes are equivalent with respect to weak bisimilarity if and only if they satisfy exactly the same set of HML ...
- 228
2
votes
1
answer
147
views
Restriction and re-labeling on CCS
In a process like
$$
R \stackrel{def}=((a.\bar{b}.0)\setminus\{b\})[a\to b]\mid(\bar{b}.b.0)+\bar{b}.c.0
$$
$b$ is restricted to perform on the inner process of RHS $(a.\bar{b}.0)\setminus\{b\}$, ...
- 268
1
vote
1
answer
138
views
CCS synchronization
Within CSS we talk about binary interactions. Does this prevent synchronizing multiple processes in one step? Example:
$P_1 ::= a.D$
$P_2 ::= \overline{a}.D$
$P_3 ::= a.D$
Let's consider the ...
- 135
11
votes
2
answers
248
views
CCS process for a drink dispenser with two different prices
A drink dispenser requires the user to insert a coin ($\bar c$), then press one of three buttons: $\bar d_{\text{tea}}$ requests a cup of tea $e_{\text{tea}}$, ditto for coffee, and $\bar r$ requests ...
