"Modular Semantics for Transition System Specifications with Negative Premises"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Specifications: a practical system for writing specifications for buildings.	W. Frank Bower	1896	E.A. Maclean
Specifications: a practical system for writing specifications for buildings	W. Frank Bower	1898	Comstock
Modular System Design and Evaluation	Mark Sh. Levin	2015	Springer International Publishing
Computer information: a modular system	Marjorie Leeson	1985	Science Research Associates
Modular Construction and Partial Order Semantics of Petri Nets	Walter Vogler	1992	Springer Berlin Heidelberg
A type inference algorithm and transition semantics for polymorphic C	Mustafa Özgen	1996	Naval Postgraduate School;Available from National Technical Information Service
Finite transition systems: semantics of communicating systems /	Arnold, A.	1994.	Masson/Prentice Hall,
MUMS, a modular unified microprocessor system	Robert Walter Catlin	1976	Dept. of Computer Science, University of Illinois at Urbana-Champaign
ISL: a semantics language for a translator writing system	Nelson Castro Machado	1969	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Practical Foundations of Business System Specifications	Haim Kilov; Ken Baclavski	2003	Springer Netherlands
Modular Programming with Python: introducing modular techniques for building sophisticated programs using Python	Erik Westra	2016	Packt Publishing
Specifications for the multiplex printing telegraph system: theory and operation		1920	The Company
Football's modular defense: a simplified multiple system
Specifications for shoes	United States. Army. Quartermaster Corps	1914	Gov't, print. off.
Modular Maths for Edexcel: Statistics 2 (Modular Maths for Edexcel)	Alan Smith; John Sykes	November 30, 2004	Hodder Murray
Modular Maths for Edexcel: Mechanics 2 (Modular Maths for Edexcel)	Alan Smith; John Sykes	November 30, 2004	Hodder Murray
Semantics for Reasons	Bryan R. Weaver; Kevin Scharp	2019	Oxford University Press
Structures for semantics	Fred Landman (auth.)	1991	Springer Netherlands
Structures for Semantics	Fred Landman	1991	Springer Netherlands
Cold Storage For Creameries - With Plan and Specifications	Canada. Dept. of Agriculture. Dairy and Cold Storage Commissioner	1913
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Modular Semantics for Transition System Specifications with Negative Premises	Martin Churchill; Peter D. Mosses; Mohammad Reza Mousavi	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
Transition system specifications with negative premises	Jan Friso Groote	CONCUR ' 90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension	Joseph C.M. Baeten; Jan W. Klop	1990	Springer Berlin Heidelberg
The meaning of negative premises in transition system specifications	Roland Bol; Jan Friso Groote	Automata, Languages and Programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings	Javier Leach Albert; Burkhard Monien; Mario Rodriguez Artalejo	1991	Springer Berlin Heidelberg
The meaning of negative premises in transition system specifications II	R. J. van Glabbeek	Automata, Languages and Programming: 23rd International Colloquium, ICALP ' 96, Paderborn, Germany, July 8-12, 1996. Proceedings	Friedhelm Meyer auf der Heide; Burkhard Monien	1996	Springer Berlin Heidelberg
Negative Premises		Rhetorical Theory: An Introduction, Second Edition	Timothy Borchers, Heather Hundley	2018	Waveland Press, Inc.
Modular first-order specifications of operational semantics	Harald Ganzinger	Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985	Harald Ganzinger; Neil Jones	1986	Springer Berlin Heidelberg
Semantics for Locking Specifications	Michael D. Ernst; Damiano Macedonio; Massimo Merro; Fausto Spoto	NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings	Sanjai Rayadurgam; Oksana Tkachuk	1st ed. 2016	Springer International Publishing
Comparative transition system semantics	Tim Fernando	Computer Science Logic: 6th Workshop, CSL' 92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers	Egon Börger; Gerhard Jäger; Hans Kleine Büning; Simone Martini; Michael M. Richter	1993	Springer Berlin Heidelberg
A general framework for modular implementations of modular system specifications	Michel Bidoit; Rolf Hennicker	TAPSOFT ' 93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings	Marie-Claude Gaudel; Jean-Pierre Jouannaud	1993	Springer Berlin Heidelberg
A congruence theorem for structured operational semantics with predicates and negative premises	C. Verhoef	CONCUR ' 94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings	Bengt Jonsson; Joachim Parrow	1994	Springer Berlin Heidelberg
Modular algebraic specifications	Horst Hansen; Michael Löwe	Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings	Jan Grabowski; Pierre Lescanne; Wolfgang Wechler	1988	Springer Berlin Heidelberg
MODULAR ALGEBRAIC SPECIFICATIONS	Horst Hansen; Michael Löwe	Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988	Jan Grabowski; Pierre Lescanne; Wolfgang Wechler	1988	De Gruyter
New Semantics for Epistemic Specifications	Michael Gelfond	Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings	James Delgrande; Wolfgang Faber	2011	Springer Berlin Heidelberg
Symbolic Synthesis for Epistemic Specifications with Observational Semantics	Xiaowei Huang; Ron van der Meyden	Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings	Erika Abraham; Klaus Havelund	2014	Springer Berlin Heidelberg
Negative and positive premises		The playwright's process: learning the craft from today's leading dramatists	McLaughlin, Buzz	2011	Potter;TenSpeed;Harmony;Back Stage Books
Initial behaviour semantics for algebraic specifications	Ma P. Nivela; F. Orejas	Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers	Donald Sannella	1988	Springer Berlin Heidelberg
Modular denotational semantics for compiler construction	Sheng Liang; Paul Hudak	Programming Languages and Systems - ESOP ' 96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings	Hanne R. Nielson	1996	Springer Berlin Heidelberg
Detecting isomorphisms of modular specifications with diagrams	Catherine Oriat	Algebraic Methodology and Software Technology: 4th International Conference, AMAST ' 95, Montreal, Canada, July 3-7, 1995. Proceedings	V.S. Alagar; Maurice Nivat	1995	Springer Berlin Heidelberg
Initial Semantics of Specifications	Hartmut Ehrig; Bernd Mahr	Fundamentals of Algebraic Specification 1: Equations and Initial Semantics	Hartmut Ehrig; Bernd Mahr	1985	Springer Berlin Heidelberg
Behaviour Protection in Modular Rule-Based System Specifications	Francisco Durán; Fernando Orejas; Steffen Zschaler	Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers	Narciso Martí-Oliet; Miguel Palomino	2013	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Modular Semantics for Transition System Specifications with Negative Premises" - similar Books and Chapters