SwePub
Sök i LIBRIS databas

  Extended search

id:"swepub:oai:DiVA.org:hh-20503"
 

Search: id:"swepub:oai:DiVA.org:hh-20503" > A rule format for a...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

A rule format for associativity

Cranen, Sjoerd (author)
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Mousavi, Mohammad Reza (author)
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Reniers, Michel A. (author)
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Department of Computer Science, Eindhoven University of Technology, PO. Box 513, NL-5600 MB Eindhoven, The Netherlands (creator_code:org_t)
Berlin : Springer Berlin/Heidelberg, 2008
2008
English.
In: CONCUR 2008 - Concurrency Theory. - Berlin : Springer Berlin/Heidelberg. - 9783540853602 - 9783540853619 - 354085360X ; , s. 447-461
  • Conference paper (peer-reviewed)
Abstract Subject headings
Close  
  • We propose a rule format that guarantees associativity of binary operators with respect to all notions of behavioral equivalence that are defined in terms of (im)possibility of transitions, e.g., the notions below strong bisimilarity in van Glabbeek's spectrum. The initial format is a subset of the De Simone format. We show that all trivial generalizations of our format are bound for failure. We further extend the format in a few directions and illustrate its application to several formalisms in the literature. A subset of the format is studied to obtain associativity with respect to graph isomorphism.

Subject headings

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Keyword

Associativity
Behavioral equivalences
Binary operators
Bisimilarity
Graph isomorphisms
Van Glabbeek's spectrums

Publication and Content Type

ref (subject category)
kon (subject category)

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
Cranen, Sjoerd
Mousavi, Mohamma ...
Reniers, Michel ...
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
Articles in the publication
CONCUR 2008 - Co ...
By the university
Halmstad University

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view