Search Results - "theory of parallel and distributed computation"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

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

    ISSN: 0890-5401, 1090-2651
    Published: San Diego, CA Elsevier Inc 01.11.2004
    Published in Information and computation (01.11.2004)
    “…Transition systems defined from recursive functions IN p → IN p are introduced and named WSNs, or well-structured nets. Such nets sit conveniently between…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 0028-3045, 1097-0037
    Published: New York Wiley Subscription Services, Inc., A Wiley Company 01.09.1998
    Published in Networks (01.09.1998)
    “…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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

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

    ISBN: 076951071X, 9780769510712
    Published: IEEE 2001
    “…We present here an implementation relation which formalises the notion that a system built of communicating processes is an acceptable implementation of…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: