Research at the University of Copenhagen (University of Copenhagen) · 2006 · 32 citations · 9 references
LawContract LawContract TheoryContractsFormal MethodsCommercial ContractsContract ClausesContract ManagementContract TypesTechnical SpecificationsCompositional ModelingContract CompositionContract FormulationContractual FormalitiesFormal Specification Of Contracts
Udgivelsesdato: 21. Oktober
9
A calculus of mobile processes, I
Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text
Communicating sequential processes
Microprocessors and Microsystems · 1986 · 2.2K citations
A calculus of mobile processes, II
Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 1.7K citations · Full text
A Theory of Communicating Sequential Processes
Stephen Brookes, C. A. R. Hoare, A. W. Roscoe · Journal of the ACM · 1984 · 1.2K citations · Full text