Search results for "semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Allen Renear, David Dubin, C. M. Sperberg-McQueen	Towards a semantics for XML markup.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	XML, semantics, knowledge representation, SGML, markup
32	Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.	HCC	2001	DBLP DOI BibTeX RDF	UML semantics, extension mechanisms, dynamic meta modeling, multimedia, graph transformation
32	Pavel Krcál, Radek Pelánek	On Sampled Semantics of Timed Systems.	FSTTCS	2005	DBLP DOI BibTeX RDF
32	Richard B. Kieburtz	Implementing Closed Domain-Specific Languages.	SAIG	2000	DBLP DOI BibTeX RDF
32	Cees Witteveen, Wiebe van der Hoek	Revising and Updating Using a Back-Up Semantics.	JELIA	1996	DBLP DOI BibTeX RDF	Updating, Nonmonotonic Reasoning, Theory Revision
32	Teodor C. Przymusinski	Semantics of Disjunctive Logic Programs and Deductive Databases.	DOOD	1991	DBLP DOI BibTeX RDF
32	Hanne Gottliebsen, Kristoffer H. Rose	Converting between Combinatory Reduction Systems and Big Step Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
32	Sven Herschel, Ralf Heese, Jens Bleiholder, Christian Czekay	An Architecture for Emergent Semantics.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
32	Huiyong Xiao, Isabel F. Cruz	Integrating and Exchanging XML Data Using Ontologies.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
32	Nectaria Tryfona, Dieter Pfoser	Data Semantics in Location-Based Services.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
32	Jim Alves-Foss, Fong Shing Lam	Dynamic Denotational Semantics of Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
32	S. Kamal Abdali, David S. Wise	Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
31	Louise Guthrie	The Semantics of Semantics in Language Processing.	TSD	2009	DBLP DOI BibTeX RDF
31	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	On the Unification of Process Semantics: Observational Semantics.	SOFSEM	2009	DBLP DOI BibTeX RDF
31	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	From Algebraic Semantics to Denotational Semantics for Verilog.	ICECCS	2006	DBLP DOI BibTeX RDF
31	Pascal Hitzler, Matthias Wendt	The Well-Founded Semantics Is a Stratified Fitting Semantics.	KI	2002	DBLP DOI BibTeX RDF
31	Roberto Giacobazzi	"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.	STACS	1996	DBLP DOI BibTeX RDF
31	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
31	Max J. Egenhofer	Toward the semantic geospatial web.	ACM-GIS	2002	DBLP DOI BibTeX RDF	semantic geospatial web, semantic spatial web, spatial information geographic information systems, semantics
31	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
31	Rik Eshuis, Juliane Dehnert	Reactive Petri Nets for Workflow Modeling.	ICATPN	2003	DBLP DOI BibTeX RDF
31	Fei Xie, James C. Browne, Robert P. Kurshan	Translation-Based Compositional Reasoning for Software Systems.	FME	2003	DBLP DOI BibTeX RDF	Translation-based compositional reasoning, model checking, compositional reasoning, model translation
31	Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Hai H. Wang, Jun Sun 0001	Reasoning About ORA-SS Data Models Using the Semantic Web.	J. Data Semantics	2006	DBLP DOI BibTeX RDF	ORA-SS, Semantic Web, Formal Verification, Semistructured Data, Ontology Web Language
30	Ivan Kramosil	Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions.	Soft Comput.	2001	DBLP DOI BibTeX RDF	First-order predicate calculus, Standard semantics, Boolean-like semantics, Frequentistic semantics, Completeness theorems
30	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics
30	Nivedita R. Kadaba, Pourang Irani, Jason Leboe	Visualizing Causal Semantics Using Animations.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	animated graphs, visualizing cause and effect, graph semantics, visualization, semantics, perception, Causality
30	Mohammad Reza Mousavi 0001, Michel A. Reniers	Orthogonal Extensions in Structural Operational Semantics.	ICALP	2005	DBLP DOI BibTeX RDF	Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
30	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
30	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
30	Piero Fraternali, Letizia Tanca	A Structured Approach for the Definition of the Semantics of Active Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	database rule processing, semantics, events, rules, active database systems, fixpoint semantics
30	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
30	Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Semantics
30	Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001	Well-Founded and Partial Stable Semantics Logical Aspects.	CSR	2009	DBLP DOI BibTeX RDF	partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
30	Daniel A. Sadilek	Prototyping domain-specific language semantics.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	language engineering, domain-specific languages, metamodelling, operational semantics
30	Xinguo Yu, Xin Yan 0001, Liyuan Li, Hon Wai Leong	An instant semantics acquisition system of live soccer video with application to live event alert and on-the-fly language selection.	CIVR	2008	DBLP DOI BibTeX RDF	Gamelog, icon-based input, instant semantics acquisition, live event alert, on-the-fly language selection, sports video
30	Xi-Shun Zhao, Yu-Ping Shen	Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program
30	Ben Denckla	Many cyclic block diagrams do not need parallel semantics.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
30	Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury	Formal semantics of weak references.	ISMM	2006	DBLP DOI BibTeX RDF	weak references, garbage collection, formal semantics
30	Andrew Butterfield, Jim Woodcock 0001	prialt in Handel-C: an operational semantics.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Operational semantics, Priority, Handel-C
30	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Almost ASAP semantics: from timed models to timed implementations.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Timed and Hybrid Automata, Verification, Semantics, Implementability
30	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Abstract Operational Semantics for Use Case Maps.	FORTE	2005	DBLP DOI BibTeX RDF	AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
30	Sabine Glesner, Wolf Zimmermann	Natural semantics as a static program analysis framework.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics
30	Fausto Spoto, Thomas P. Jensen	Class analyses as abstract interpretations of trace semantics.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Abstract interpretation, denotational semantics, class analysis
30	Miroslaw Truszczynski	Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	logic here-and-there, answer-set programming, Stable models
30	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Single global lock semantics in a weakly atomic STM.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	Java
30	Franco Turini	The Semantics of Ugo Montanari.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
30	Mila E. Majster-Cederbaum, Christoph Minnameier	Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.	ICTAC	2006	DBLP DOI BibTeX RDF
30	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
30	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
30	Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian	The PARK Semantics for Active Rules.	EDBT	1996	DBLP DOI BibTeX RDF
30	John S. Schlipf	The Expressive Powers of the Logic Programming Semantics.	PODS	1990	DBLP DOI BibTeX RDF
30	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
30	Pasquale De Meo, Giovanni Quattrone, Giorgio Terracina, Domenico Ursino	Semantics-Guided Clustering of Heterogeneous XML Schemas.	J. Data Semantics	2007	DBLP DOI BibTeX RDF
30	Egon Börger, Wolfram Schulte	A Programmer Friendly Modular Definition of the Semantics of Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
30	Pieter H. Hartel, Michael J. Butler, Moshe Levy	The Operational Semantics of a Java Secure Processor.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
30	John W. Gray	Initial Algebra Semantics for Lambda Calculi.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
30	Martin R. Raskovsky, Philip A. Collier	From standard to implementation denotational semantics.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
29	Huibiao Zhu, Fan Yang, Jifeng He 0001, Jonathan P. Bowen, Jeff W. Sanders	Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.	SEW	2009	DBLP DOI BibTeX RDF	PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking
29	Roberto Giacobazzi, Isabella Mastroeni	Compositionality in the puzzle of semantics.	PEPM	2002	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation
29	Klaus-Dieter Schewe, Bernhard Thalheim	Semantics in Data and Knowledge Bases.	SDKB	2008	DBLP DOI BibTeX RDF
29	Esteban Zimányi, Sabri Skhiri dit Gabouje	Semantic Visualization of Biochemical Databases.	ICSNW	2004	DBLP DOI BibTeX RDF
29	Véronique Royer	Transformations of denotational semantics in semantics directed compiler generation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
28	Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli	New Semantic Tools for Logic Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	logic programming, operational semantics, declarative semantics
28	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
28	Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang	On the formal definition of ADA.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF	semantics, Programming Languages, programming environment
28	Frank DeRemer, Richard Jüllig	Tree-affix dendrogrammars for languages and compilers.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF	context-sensitive syntax, affix grammars, language specification, attribute grammars, compiler generation, abstract syntax, static semantics, concrete syntax, translator writing system
28	Avigdor Gal, Maria Vanina Martinez, Gerardo I. Simari, V. S. Subrahmanian	Aggregate Query Answering under Uncertain Schema Mappings.	ICDE	2009	DBLP DOI BibTeX RDF
28	Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki	View selection for real conjunctive queries.	Acta Informatica	2007	DBLP DOI BibTeX RDF
28	Emad Saad, Enrico Pontelli	Hybrid Probabilistic Logic Programs with Non-monotonic Negation.	ICLP	2005	DBLP DOI BibTeX RDF
28	Rik Eshuis, Roel J. Wieringa	Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
28	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
28	Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik	Type Checking Evolving Languages with MSOS.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
28	Marko Brunzel, Myra Spiliopoulou	Discovering Groups of Sibling Terms from Web Documents with XTREEM-SG.	J. Data Semantics	2008	DBLP DOI BibTeX RDF
28	Don Syme	Proving Java Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
27	Tye Rattenbury, Nathaniel Good, Mor Naaman	Towards automatic extraction of event and place semantics from flickr tags.	SIGIR	2007	DBLP DOI BibTeX RDF	event identification, place identification, tag semantics, word semantics, tagging systems
27	Juliusz Chroboczek	Game Semantics and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF	Semantics, Type Systems, Game Semantics
27	Volker Haarslev	Formal Semantics of Visual Languages using Spatial Reasoning.	VL	1995	DBLP DOI BibTeX RDF	qualitative spatial relationships, description logic theory, convex regions, semantics specifications, Pictorial Janus, graphical theorem proving, formal specification, visual programming, visual languages, visual languages, formal semantics, algebraic specification, spatial reasoning, spatial reasoning, points, automatic verification, lines, spatial logic, visual reasoning, geometrical objects
27	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn	From a formal dynamic semantics of Sisal to a Sisal environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
27	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
27	Christian Körner, Dominik Benz, Andreas Hotho, Markus Strohmaier, Gerd Stumme	Stop thinking, start tagging: tag semantics emerge from collaborative verbosity.	WWW	2010	DBLP DOI BibTeX RDF	semantics, tagging, folksonomies, pragmatics, user characteristics
27	Lenwood S. Heath, Allan A. Sioson	Semantics of Multimodal Network Models.	IEEE ACM Trans. Comput. Biol. Bioinform.	2009	DBLP DOI BibTeX RDF	Multimodal network, biot, graph, hypergraph, denotational semantics, mode, biological networks, biological model
27	Keita Fujii, Tatsuya Suda	Semantics-based context-aware dynamic service composition.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	service oriented framework, context-aware, semantics, Dynamic service composition
27	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Operational Semantics for Declarative Networking.	PADL	2009	DBLP DOI BibTeX RDF	distributed systems, programming language semantics, Declarative networking
27	Baba Piprani	Towards a Common Platform to Support Business Processes, Services and Semantics.	OTM Workshops	2009	DBLP DOI BibTeX RDF	TR9007, SOA, Semantics, Services, Business process, Conceptual Schema, ORM
27	Robert J. Simmons, Frank Pfenning	Linear logical approximations.	PEPM	2009	DBLP DOI BibTeX RDF	bottom-up linear logic programming, abstract interpretation, operational semantics
27	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, Malware detection, trace semantics
27	Stefan Leue, Alin Stefanescu, Wei Wei 0015	An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures
27	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
27	Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip	An operational semantics and type safety prooffor multiple inheritance in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	semantics, C++, type safety, multiple inheritance
27	Jin Li 0008, De-chen Zhan, Zhongjie Wang	A Feature-Based Semantics Model of Reusable Component.	APWeb Workshops	2006	DBLP DOI BibTeX RDF	Semantics, Component, Feature
27	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
27	Sara Cohen, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv	Interconnection semantics for keyword search in XML.	CIKM	2005	DBLP DOI BibTeX RDF	interconnection semantics, XML, keyword search
27	Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny	Semantics of Framed Temporal Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF	Temporal logic programming, semantics, framing, monotonicity, minimal model
27	Eric Louie, Tsau Young Lin	Semantics and Syntactic Patterns in Data.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	interesting-ness, undirected association rules, Data mining, semantics, isomorphism
27	Shuly Wintner	On the Semantics of Unification Grammars.	Grammars	2003	DBLP DOI BibTeX RDF	unification grammars, modularity, semantics of programming languages
27	Alberto Verdejo	Building Tools for LOTOS Symbolic Semantics in Maude.	FORTE	2002	DBLP DOI BibTeX RDF	Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
27	Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.	UML	2000	DBLP DOI BibTeX RDF	UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
27	John Hannan	Operational Semantics-Directed Compilers and Machine Architectures.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	pass separation, semantics-based compilation, abstract machines
27	Jianhua Chen 0003	The BLM semantics may be inconsistent.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Logic program, Consistency, Declarative semantics, Derived rules
27	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms