Suchergebnisse - "theory of parallel and distributed computation"

A well-structured framework for analysing petri net extensions von Finkel, Alain, McKenzie, Pierre, Picaronny, Claudine

“… Transition systems defined from recursive functions IN p → IN p are introduced and named WSNs, or well-structured nets. Such nets sit conveniently between …”
Volltext

Partial characterizations of networks supporting shortest path interval labeling schemes von Narayanan, Lata, Shende, Sunil

“… In this paper, we consider the problem of shortest path interval routing, a space‐efficient strategy for routing in distributed networks. In this scheme, an …”
Volltext

Implementing communicating processes in the event of interface difference von Burton, J., Koutny, M., Pappalardo, G.

“… We present here an implementation relation which formalises the notion that a system built of communicating processes is an acceptable implementation of …”
Volltext