1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Priorities in tock-CSP
Pedro Ribeiro, James Baxter, Ana Cavalcanti
The -CSP encoding embeds a rich and flexible approach to modelling discrete timed behaviours in CSP where the event is interpreted to mark the passage of time. The mod…
cs.LO2015
Angelic Processes
Pedro Ribeiro
In the formal modelling of systems, demonic and angelic nondeterminism play fundamental roles as abstraction mechanisms. The angelic nature of a choice pertains to the property of…