SwePub
Sök i SwePub databas

  Extended search

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

Search: WFRF:(Lin Yi) > (1999)

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Lin, Huimin, et al. (author)
  • A Proof System for Timed Automata
  • 1999
  • Reports (other academic/artistic)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. (author)
  • A Proof System for Timed Automata
  • 1999
  • Reports (other academic/artistic)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
  • Result 1-2 of 2
Type of publication
reports (2)
Type of content
other academic/artistic (2)
Author/Editor
Lin, Huimin (2)
Yi, Wang (1)
Wang, Yi (1)
University
Uppsala University (2)
Language
English (2)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
1999 (2)Undo refine

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