Conferences in DBLP

The Analysis of Concurrent Systems (acs)
1983 (conf/acs/1983)

1. Robin Milner
   Using Algebra for Concurrency: Some Approaches. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:7-25 [Conf]
   
2. P. S. Thiagarajan
   Some Aspects of Net Theory. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:26-54 [Conf]
   
3. Richard L. Schwartz, P. M. Melliar-Smith
   From State Machines to Temporal Logic: Specification Methods for Protocol Standards. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:55-65 [Conf]
   
4. Jean-Raymond Abrial
   A Practical Approach to the Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:66-96 [Conf]
   
5. A. W. Roscoe
   Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:103-109 [Conf]
   
6. Vaughan R. Pratt
   Two-way Channel with Disconnect. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:110-111 [Conf]
   
7. C. A. R. Hoare
   Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:115-116 [Conf]
   
8. Robin Milner
   Parallel Combinator Reduction Machine. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:121-126 [Conf]
   
9. C. A. R. Hoare
   Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch. [Citation Graph (0, 0)][DBLP]
   The Analysis of Concurrent Systems, 1983, pp:132-133 [Conf]
   
10. Egidio Astesiano, Gianna Reggio
    On the Specification of the Firing Squad Problem. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:137-156 [Conf]
    
11. Howard Barringer, Ruurd Kuiper
    Towards the Hierarchical, Temporal Logic, Specification. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:157-183 [Conf]
    
12. John Yiannis Cotronis, Peter E. Lauer
    Two Way Channel with Disconnect. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:184-198 [Conf]
    
13. Jean-Claude Fernandez, J. Ph. Schwartz, Joseph Sifakis
    An Example of Specification and Verification in Cesar. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:199-210 [Conf]
    
14. Anne Kaldewaij
    Trace Theory and the Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:211-221 [Conf]
    
15. Richard Kennaway, M. Ronan Sleep
    Syntax and informal semantics of DyNe, a parallel language. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:222-230 [Conf]
    
16. Ron Koymans, Willem P. de Roever
    Examples of a Real-Time Temporal Logic Specification. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:231-251 [Conf]
    
17. Leslie Lamport
    Problems from the Workshop on the Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:252-270 [Conf]
    
18. Peter E. Lauer
    A Simple Railway System. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:271-292 [Conf]
    
19. George J. Milne
    Description and Analysis Using Circal. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:293-313 [Conf]
    
20. Robin Milner
    Firing Squad. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:314-317 [Conf]
    
21. Carroll Morgan
    Specification of a simplified Network Service in Z. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:318-344 [Conf]
    
22. Carroll Morgan, C. A. R. Hoare
    Specification of a simplified Network Service in CSP. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:345-353 [Conf]
    
23. Peter D. Mosses
    A Solution to Problem 7 - Parallel Combinator Reduction Machine -. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:354-358 [Conf]
    
24. Ben C. Moszkowski
    A Temporal Analysis of Some Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:359-364 [Conf]
    
25. Amir Pnueli
    Solutions to Problem No.2. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:365-383 [Conf]
    
26. A. W. Roscoe
    A CSP solution to the "trains" problem. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:384-388 [Conf]
    
27. M. W. Shields
    The Train Set Problem. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:389-396 [Conf]