Výsledky vyhľadávania - "Theory of parallel and distributed computation"

A well-structured framework for analysing petri net extensions Autor 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…”
Získať plný text

Partial characterizations of networks supporting shortest path interval labeling schemes Autor 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…”
Získať plný text

Implementing communicating processes in the event of interface difference Autor 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…”
Získať plný text