Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

pintman's mu-calculus [5 articles]

Recent papers added to pintman's library classified by the tag mu-calculus. You can also see everyone's mu-calculus.
  • Simplifying the modal mu-calculus alternation hierarchy
    (1998)
    by JC Bradfield
    posted to mu-arithmetic mu-calculus by pintman on 2006-06-26 13:30:47 as ** along with 15 people and 3 groups mmkenry lfriedl turker maggon darcynog wangxx balicea worksmarts chchatham neural_nets_chapter asifqureshi1971 arunark7 shivakmr baniel rlai VisionLab Cognitive_Development_Center_-_Neural_Nets_Chapter MITCCI
  • notes Modal Mu-Calculi
    by Julian Bradfield, Colin Stirling
    posted to model-checking mu-calculus science by pintman on 2006-06-22 17:26:51 as read
  • Games and modal mu-calculus
    (1996)
    by Colin Stirling
    posted to 15s model-checking mu-calculus by pintman on 2006-06-09 21:10:27 as ****
  • Model checking the full modal mu-calculus for infinite sequential processes
    (1999)
    by Olaf Burkart, Bernhard Steffen
    posted to 20s model-checking mu-calculus by pintman on 2006-06-09 21:00:30 as ***
  • notes mu-ABC: A Minimal Aspect Calculus
    by Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
    posted to aspects mu-calculus programming by pintman on 2006-01-27 15:27:18 as read
    • Note: You may cite this page as: http://www.citeulike.org/user/pintman/tag/mu-calculus

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.