CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Year:

-

Key:

1000413

         

  • distributed system; shared memory; operating system; real-time system ( Subthemes )
  •          model checking; petri nets; hybrid system; timed automata ( Subthemes )
  •                  stochastic petri; process algebra; stochastic process; petri nets ( Subthemes )
  •                          stochastic petri; process algebra; petri nets; stochastic process ( Subthemes )
  • COMMUNICATION AND CONCURRENCY - MILNER  
    By
    Date 
    Refs | Theme tree | Cited by 1564 This paper is cited in the following contexts