Gwen+John

 More results for "Gwen+John" in  VIDEOS DOCUMENTS AUDIOS GROUPS STAGES/PROFILES ALL

• 

• MIAOw a Method to Integrate a Process Algebra with Formal Data 2002
• Machine Notation (AMN). Now, we discuss the computation of the evaluation function from state oriented specification techniques, and especially from B abstract machines. For this issue, we inspire our...
• Rating:        Views: (1006)     Pages: ()     Uploaded: 13-05-09
•  

• 

• MIAOw a Method to Integrate a Process Algebra with Formal Data 2002
• Machine Notation (AMN). Now, we discuss the computation of the evaluation function from state oriented specification techniques, and especially from B abstract machines. For this issue, we inspire our...
• Rating:        Views: (1004)     Pages: ()     Uploaded: 15-05-09
•  

• 

• Anatomy of the N400 Brain electrical activity in propositional semanti...
• this report).
• Rating:        Views: (1006)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Haiti's Hospital Albert Schweitzer: the legacy of Larimer and Gwen Mel...
• Rating:        Views: ()     Pages: ()     Uploaded: 2003-3-28
•  

• 

• A Formalism Combining CCS and CASL 2001 5 citations — 2 self
• Grammar 33 A.1 Basic Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A.2 Basic Specifications with Subsorts . . . . . . . . . . . . . . . . . . . ...
• Rating:        Views: (1013)     Pages: ()     Uploaded: 15-05-09
•  

• 

• A Formalism Combining CCS and CASL 2001 5 citations ? 2 self
• Grammar 33 A.1 Basic Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A.2 Basic Specifications with Subsorts . . . . . . . . . . . . . . . . . . . ...
• Rating:        Views: (1005)     Pages: ()     Uploaded: 13-05-09
•  

• 

• An Approach to Combine Heterogeneous Specification Components 2002
• grammar. Now, we precisely formalize the part concerning interconnections of modules, and we summarize in Figure 1 the different linking operators available in our approach.
• Rating:        Views: (1004)     Pages: ()     Uploaded: 15-05-09
•  

• 

• A Method to Combine any Process Algebra with an Algebraic Specificatio...
• this paper, we especially focus on the addition of other languages; indeed in the initial work, we only consider a restricted number of process algebras: CCS, CSP, ACP, basic LOTOS. Therefore, we aim ...
• Rating:        Views: (1003)     Pages: ()     Uploaded: 15-05-09
•