milner - Asian Research News Index

Search results for "milner"

Show entries

Filter:

Showing 0

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0

Show entries

Filter:

Showing 0

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0

Show entries

Filter:

Showing 0

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0

Show entries

Filter:

Showing 0

Title	Publisher	Languages	Subjects
No data available in table
Title	Publisher	Languages	Subjects

Showing 0

Show entries

Filter:

Showing 300 of 422 records in 0.953 seconds;

Chapter	Chapter Author	Book	Book Author	Year	Publisher
Turing Meets Milner	Jos C. M. Baeten; Bas Luttik; Paul van Tilburg	CONCUR 2012- Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings	Maciej Koutny; Irek Ulidowski	2012	Springer Berlin Heidelberg
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics	Daniel Gebler; Wan Fokkink	CONCUR 2012- Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings	Maciej Koutny; Irek Ulidowski	2012	Springer Berlin Heidelberg
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping	Dmitriy Traytel; Stefan Berghofer; Tobias Nipkow	Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings	Hongseok Yang	2011	Springer Berlin Heidelberg
Combining Epistemic Logic and Hennessy-Milner Logic	Sophia Knight; Radu Mardare; Prakash Panangaden	Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday	Robert L. Constable; Alexandra Silva	2012	Springer Berlin Heidelberg
Decidable Extensions of Hennessy-Milner Logic	Radu Mardare; Corrado Priami	Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6. 1 International Conference, Paris, France, September 26-29, 2006, Proceedings	Elie Najm; Jean-Francois Pradat-Peyre; Véronique Viguié Donzeau-Gouge	2006	Springer Berlin Heidelberg
Strictness Analysis Using Hindley-Milner Type Inference	Cordelia Hall	Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991	Rogardt Heldal; Carsten K. Holst; Philip Wadler	1992	Springer London
The category of Milner processes is exact	David B. Benson	Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings	David H. Pitt; Axel Poigné; David E. Rydeheard	1987	Springer Berlin Heidelberg
Proof systems for Hennessy-Milner Logic with recursion	Kim G. Larsen	CAAP ' 88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings	M. Dauchet; M. Nivat	1988	Springer Berlin Heidelberg
Reachability of Hennessy-Milner Properties for Weakly Extended PRS	Mojmír Křetínský; Vojtěch Řehák; Jan Strejček	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings	R. Ramanujam; Sandeep Sen	2005	Springer Berlin Heidelberg
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory	Nikola Beneš; Benoît Delahaye; Uli Fahrenberg; Jan Křetínský; Axel Legay	CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings	Pedro R. D'Argenio; Hernan Melgratti	2013	Springer Berlin Heidelberg
Hennessy-Milner Logic with recursion as a specification language, and a refinement calculus based on it	Sören Holmström	Specification and Verification of Concurrent Systems	Charles Rattray	1990	Springer London
A computer-checked verification of Milner's scheduler	Henri Korver; Jan Springintveld	Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings	Masami Hagiya; John C. Mitchell	1994	Springer Berlin Heidelberg
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic	Mila Majster-Cederbaum; Frank Salger	Advances in Computing Science - ASIAN' 99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings	P. S. Thiagarajan; Roland Yap	1999	Springer Berlin Heidelberg
Milner’s Communicating Systems and Petri Nets	F. De Cindio; G. De Michelis; L. Pomello; C. Simone	Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)	A. Pagnoni; G. Rozenberg	1983	Springer Berlin Heidelberg
A General Type Inference Framework for Hindley/Milner Style Systems	Martin Sulzmann	Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings	Herbert Kuchen; Kazunori Ueda	2001	Springer Berlin Heidelberg
Sanderson-Milner Zeta Space Color Difference Equation	Jan W. Gooch	Encyclopedic Dictionary of Polymers	Jan W. Gooch	2nd revised and updated Edition. 2011	Springer New York
A Brief Scientific Biography of Robin Milner		Proof, Language, and Interaction: Essays in Honour of Robin Milner	Gordon Plotkin; Colin P. Stirling; Mads Tofte	2000	MIT Press,
4: From Banach to Milner		Proof, Language, and Interaction: Essays in Honour of Robin Milner	Gordon Plotkin; Colin P. Stirling; Mads Tofte	2000	MIT Press,
“Rome’s Brazen Serpent”: Milner as Merlin	Stuart Andrews	Robert Southey: History, Politics, Religion	S. Andrews	2011	Palgrave Macmillan US
Milner Park Hotel	Ian Mangenga	Queer Spaces: An Atlas of LGBTQIA+ Places and Stories	Adam Nathaniel Furman; Joshua Mardell	2022	Routledge
Chapter	Chapter Author	Book	Book Author	Year	Publisher