Conferences in DBLP

Birthday ... (birthday)
2009 (conf/birthday/2009mosses)

1. 
   Tribute to Peter Mosses. [Citation Graph (, )][DBLP]
   
   
2. 
   Action Semantics in Retrospect. [Citation Graph (, )][DBLP]
   
   
3. 
   Component-Based Security Policy Design with Colored Petri Nets. [Citation Graph (, )][DBLP]
   
   
4. 
   Order-Sorted Parameterization and Induction. [Citation Graph (, )][DBLP]
   
   
5. 
   An Implementation of Object-Oriented Action Semantics in Maude. [Citation Graph (, )][DBLP]
   
   
6. 
   A Constructive Semantics for Basic Aspect Constructs. [Citation Graph (, )][DBLP]
   
   
7. 
   Structural Operational Semantics for Weighted Transition Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   On the Specification and Verification of Model Transformations. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. [Citation Graph (, )][DBLP]
   
   
10. 
    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. [Citation Graph (, )][DBLP]
    
    
11. 
    Type Checking Evolving Languages with MSOS. [Citation Graph (, )][DBLP]
    
    
12. 
    Action Algebras and Model Algebras in Denotational Semantics. [Citation Graph (, )][DBLP]
    
    
13. 
    Mobile Processes and Termination. [Citation Graph (, )][DBLP]
    
    
14. 
    An Action Semantics Based on Two Combinators. [Citation Graph (, )][DBLP]
    
    
15. 
    Converting between Combinatory Reduction Systems and Big Step Semantics. [Citation Graph (, )][DBLP]
    
    
16. 
    Model-Based Testing and the UML Testing Profile. [Citation Graph (, )][DBLP]
    
    
17. 
    A Complete, Co-inductive Syntactic Theory of Sequential Control and State. [Citation Graph (, )][DBLP]
    
    
18. 
    Vertical Object Layout and Compression for Fixed Heaps. [Citation Graph (, )][DBLP]