Search CORE

34 research outputs found

Towards a Specification Language for Mobile Applications

Author: R.Milner
Publication venue: 'IGI Global'
Publication date
Field of study

An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi

Author: A.Bouali
C. A. R.Hoare
C.Hankin
D.Sangiorgi
E.Friedman-Hill
G.Ferro
J. S.Davis
J.Parrow
M. D.Ryan
M.Boreale
M.Leucker
R.Ahmad
R.Milner
R.Milner
R.Milner
S.Rahimi
S.Rahimi
S.Rahimi
U.Frendrup
Publication venue: 'IGI Global'
Publication date
Field of study

Automated Synthesis and Ranking of Secure BPMN Orchestrators

Author: F.Martinelli
F.Martinelli
L.Viganò
R.Milner
V.Ciancia
Publication venue: 'IGI Global'
Publication date
Field of study

Extended Automata for Temporal Planning of Interacting Agents

Author: A.Cesta
E.Clarke
G.Aucher
J.Tozicka
L.Khatib
M.Fox
R.Milner
Publication venue: 'IGI Global'
Publication date: 01/04/2017
Field of study

International audienc

INRIA a CCSD electronic archive server

HAL: Hyper Article en Ligne

Portail HAL UNIV-RENNES

Interactive and Iterative Service-Composition-Based Approach to Flexible Information System Development

Author: F.Casati
J.Tatemura
J.Zhang
N.Carr
R.Milner
V.Sambamurthy
Publication venue: 'IGI Global'
Publication date
Field of study

Making Room for Race in Your Classroom Discourse

Author: A.Michael
H. S.Alim
M. R.Milner
R. J.DiAngelo
T. S.Lee
Publication venue: 'IGI Global'
Publication date: 01/01/2020
Field of study

Extended Automata for Temporal Planning of Interacting Agents

Author: A.Cesta
E.Clarke
G.Aucher
J.Tozicka
L.Khatib
M.Fox
R.Milner
Publication venue: 'IGI Global'
Publication date
Field of study

Mobile Agents Security Protocols

Author: A.Bieszczad
A.Outtagarts
G.Karjoth
G.Lowe
G.Vigna
R.Milner
V.Roth
X.Hannotin
Publication venue: 'IGI Global'
Publication date: 01/01/2014
Field of study

Information Stewardship in Cloud Computing

Author: A.Beautement
B.Glaser
B.Nardi
C.Hoare
C.Stirling
F.Giordano
G.Birtwistle
H.Varian
J.McColl
L.Gordon
L.Gordon
M.Pidd
M.Pidd
M.Pidd
R.Keeney
R.Milner
R.Milner
W.Reisig
Publication venue: 'IGI Global'
Publication date
Field of study

Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

Author: H.Hermanns
K.Sivashanmugam
M.Mazzara
OWL.Web Ontology Language
P.Collette
R.Milner
Z.Yan
Publication venue: 'IGI Global'
Publication date
Field of study

core