SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Lin Yi) srt2:(1999)"

Sökning: WFRF:(Lin Yi) > (1999)

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Lin, Huimin, et al. (författare)
  • A Proof System for Timed Automata
  • 1999
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • A proof system for timed automata is presented, based on a CCS-style language for describing timed automata. It consists of the standard monoid laws for bisimulation and a set of inference rules. The judgements of the proof system are conditional equations of the form phirhd t=u where phi is a clock constraint and t, u are terms denoting timed automata. It is proved that the proof system is complete over the recursion-free subset of the language. The completeness proof relies on the notion of symbolic timed bisimulation. Two variations of the axiomatisation are also discussed, one on timed automata by associating an invariant constraint to each node and the other on bisimulation by abstracting away delay transitions.Note: To be included in the proceedings of FOSSACS'00
  •  
2.
  • Lin, Huimin, et al. (författare)
  • A Proof System for Timed Automata
  • 1999
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • A proof system for timed automata is presented, based on a CCS-style language for describing timed automata. It consists of the standard monoid laws for bisimulation and a set of inference rules. The judgements of the proof system are \emphconditional equations of the form \phi\rhd t=u where ϕ is a clock constraint and t, u are terms denoting timed automata. It is proved that the proof system is complete over the recursion-free subset of the language. The completeness proof relies on the notion of \emphsymbolic timed bisimulation. Two variations of the axiomatisation are also discussed, one on timed automata by associating an invariant constraint to each node and the other on bisimulation by abstracting away delay transitions.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2
Typ av publikation
rapport (2)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (2)
Författare/redaktör
Lin, Huimin (2)
Yi, Wang (1)
Wang, Yi (1)
Lärosäte
Uppsala universitet (2)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
1999 (2)Ta bort avgränsningen

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 Stäng

Kopiera och spara länken för att återkomma till aktuell vy