The following pages link to Pierluigi San Pietro (Q235674):
Displaying 4 items.
- Counter machines, Petri nets, and consensual computation (Q517037) (← links)
- (Q685608) (redirect page) (← links)
- Embedding time granularity in a logical specification language for synchronous real-time systems (Q685609) (← links)
- Reducing local alphabet size in recognizable picture languages (Q832926) (← links)