Seminar on Concurrency

Robin Milner

Keywords

Computer scienceConcurrencyProgramming language

Related Publications

Interval hierarchies and their application to predicate files

K.C. Wong , Murray Edelberg

Predicates are used extensively in modern database systems for purposes ranging from user specification of associative accesses to data, to user-invisible system control functio...

1977 ACM Transactions on Database Systems 18 citations

Synthesizing processes and schedulers from temporal specifications

Howard Wong-Toi , David L. Dill

2005 Lecture notes in computer science 59 citations

Microsoft robotics studio: A technical introduction

Jared Jackson

Microsoft robotics studio (MSRS) was publicly released in December 2006 with the explicit goal of providing an industry software standard for robot control. To become a viable s...

2007 IEEE Robotics & Automation Magazine 220 citations

Actors: A Model of Concurrent Computation in Distributed Systems

Gul Agha

A foundational model of concurrency is developed in this thesis. It examines issues in the design of parallel systems and show why the actor model is suitable for exploiting lar...

1986 Munich Personal RePEc Archive (Ludwig... 2231 citations

Structure matrices for petri nets and their applications

Jeremy Johnson , T. Murata

1985 Journal of the Franklin Institute 5 citations

Publication Info

Year: 1984
Type: book-chapter
Citations: 60
Access: Closed

External Links

Citation Metrics

OpenAlex

Cite This

APA Style

                            
                                    Robin Milner
                                
                            (1984). 
                            Seminar on Concurrency. 
                            Lecture notes in computer science
                            
                            .