1 citations · 1 across the 3 of their papers we have counts for
3 papers
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.RO2017★ 1 cited
From Formalised State Machines to Implementations of Robotic Controllers
Wei Li, Alvaro Miyazawa, Pedro Ribeiro +3
Controllers for autonomous robotic systems can be specified using state machines. However, these are typically developed in an ad hoc manner without formal semantics, which makes i…
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…