Conferences in DBLP

Functional Programming, Concurrency, Simulation and Automated Reasoning (mcmaster)
1993 (conf/mcmaster/1993)

1. Peter E. Lauer
   On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:1-31 [Conf]
   
2. David B. MacQueen
   Reflections on Standard ML. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:32-46 [Conf]
   
3. John Ophel
   An Introduction to the High-Level Language Standard ML. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:47-70 [Conf]
   
4. Jawahar Malhotra, Robert M. Shapiro
   Generating an Algorithm for Executing Graphical Models. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:71-83 [Conf]
   
5. Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli
   Modeling an NORAD Command Post Using SADT and Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:84-107 [Conf]
   
6. Jeffery I. Zucker
   Propositional Temporal Logics and Their Use in Model Checking. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:108-116 [Conf]
   
7. Jeffery I. Zucker
   The Propositional mu-Calculus and Its Use in Model Checking. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:117-128 [Conf]
   
8. Rance Cleaveland
   Analysing Concurrent Systems Using the Concurrency Workbench. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:129-144 [Conf]
   
9. Douglas J. Howe
   Reasoning About Functional Programs in Nuprl. [Citation Graph (0, 0)][DBLP]
   Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:145-164 [Conf]
   
10. John H. Reppy
    Concurrent ML: Design, Application and Semantics. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:165-198 [Conf]
    
11. Nachum Dershowitz
    A Taste of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:199-228 [Conf]
    
12. Timothy C. Winkler
    Programming in OBJ and Maude. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:229-277 [Conf]
    
13. Richard A. Frost, S. Karamatos
    Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:278-295 [Conf]
    
14. Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen
    Specification and Simulation with ExSpect. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:296-327 [Conf]
    
15. Stephen J. Garland, John V. Guttag, James J. Horning
    An Overview of Larch. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:329-348 [Conf]
    
16. Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
    The EVES System. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:349-373 [Conf]
    
17. Michael Barnett, Christian Lengauer
    A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:374-398 [Conf]