[HTML][HTML] Electron-Ion Collider: The next QCD frontier: Understanding the glue that binds us all
…, ZE Meziani, R McKeown, A Metz, R Milner… - The European Physical …, 2016 - Springer
This White Paper presents the science case of an Electron-Ion Collider (EIC), focused on the
structure and interactions of gluon-dominated matter, with the intent to articulate it to the …
structure and interactions of gluon-dominated matter, with the intent to articulate it to the …
[BOOK][B] The polyadic π-calculus: a tutorial
R Milner - 1993 - Springer
The π-calculus is a model of concurrent computation based upon the notion of naming. It is
first presented in its simplest and original form, with the help of several illustrative …
first presented in its simplest and original form, with the help of several illustrative …
Cisplatin: a review of toxicities and therapeutic applications
K Barabas, R Milner, D Lurie… - … and comparative oncology, 2008 - Wiley Online Library
Cisplatin is a platinum chemotherapeutic used in a variety of malignancies. The
antineoplastic activity occurs from DNA cross‐links and adducts, in addition to the …
antineoplastic activity occurs from DNA cross‐links and adducts, in addition to the …
[BOOK][B] A calculus of communicating systems
R Milner - 1980 - Springer
In CCS, non-determinate behaviours (in sane sense of detexminacy) are the rule rather than
the exception. The outcome-or even the capability-of future observations may not be …
the exception. The outcome-or even the capability-of future observations may not be …
A calculus of mobile processes, I
R Milner, J Parrow, D Walker - Information and computation, 1992 - Elsevier
We present the π-calculus, a calculus of communicating systems in which one can naturally
express processes which have changing structure. Not only may the component agents of a …
express processes which have changing structure. Not only may the component agents of a …
[BOOK][B] The definition of standard ML: revised
R Milner - 1997 - books.google.com
Standard ML is a general-purpose programming language designed for large projects. This
book provides a formal definition of Standard ML for the benefit of all concerned with the …
book provides a formal definition of Standard ML for the benefit of all concerned with the …
[BOOK][B] Communicating and mobile systems: the pi calculus
R Milner - 1999 - books.google.com
Communication is a fundamental and integral part of computing, whether between different
computers on a network, or between components within a single computer. In this book …
computers on a network, or between components within a single computer. In this book …
A theory of type polymorphism in programming
R Milner - Journal of computer and system sciences, 1978 - Elsevier
The aim of this work is largely a practical one. A widely employed style of programming,
particularly in structure-processing languages which impose no discipline of types, entails …
particularly in structure-processing languages which impose no discipline of types, entails …
[HTML][HTML] Editor's choice–management of descending thoracic aorta diseases: clinical practice guidelines of the European Society for Vascular Surgery (ESVS)
…, A Evangelista, M Grabenwöger, R Milner… - European Journal of …, 2017 - Elsevier
1.1. Purpose The European Society for Vascular Surgery (ESVS) appointed the Descending
Thoracic Aorta (DTA) Writing Committee (WC) to produce the current clinical practice …
Thoracic Aorta (DTA) Writing Committee (WC) to produce the current clinical practice …
Algebraic laws for nondeterminism and concurrency
M Hennessy, R Milner - Journal of the ACM (JACM), 1985 - dl.acm.org
Since a nondeterministic and concurrent program may, in general, communicate repeatedly
with its environment, its meaning cannot be presented naturally as an input/output function …
with its environment, its meaning cannot be presented naturally as an input/output function …