Search results for "mappings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Yuan An, Thodoros Topaloglou	Maintaining Semantic Mappings between Database Schemas and Ontologies.	SWDB-ODBIS	2007	DBLP DOI BibTeX RDF
17	Luigi Iannone, Olivier Bonaventure	On the cost of caching locator/ID mappings.	CoNEXT	2007	DBLP DOI BibTeX RDF	locator/ID separation, routing, LISP, addressing, internet architecture
17	Julio J. Valdés, Robert Orchard, Alan J. Barton	Exploring medical data using visual spaces with genetic programming and implicit functional mappings.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	colon cancer, vector functions, virtual reality, genetic programming, breast cancer
17	Simone G. O. Fiori	Neural Learning Algorithms Based on Mappings: The Case of the Unitary Group of Matrices.	ICANN (1)	2007	DBLP DOI BibTeX RDF
17	Mahmut T. Kandemir, Ozcan Ozturk 0001, Vijay Degalahal	Enhancing Locality in Two-Dimensional Space through Integrated Computation and Data Mappings.	VLSI Design	2007	DBLP DOI BibTeX RDF
17	Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner	Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.	RR	2007	DBLP DOI BibTeX RDF
17	K. Selçuk Candan, Jong Wook Kim, Huan Liu 0001, Reshma Suvarna	Discovering mappings in hierarchical data from multiple sources using the inherent structure.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Retrieval and mining of semantics, Extracting and mining semantics from multimedia databases, Knowledge discovery in XML, Hierarchical multimedia, Structure-based mining, Ontologies, Multimodal integration
17	Yen-Ying Huang, Shi-Chun Tsai, Hsin-Lung Wu	On the Construction of Permutation Arrays via Mappings from Binary Vectors to Permutations.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 94B05
17	Maria-Florina Balcan, Avrim Blum, Santosh S. Vempala	Kernels as features: On kernels, margins, and low-dimensional mappings.	Mach. Learn.	2006	DBLP DOI BibTeX RDF
17	Jen-Chun Chang	Distance-increasing mappings from binary vectors to permutations that increase hamming distances by at least two.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
17	Liliya Kharevych, Boris Springborn, Peter Schröder	Discrete conformal mappings via circle patterns.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	circle patterns, discrete analytic functions, meshing, texture mapping, discrete differential geometry, Conformal parameterizations
17	Ronald Fagin	Inverting schema mappings.	PODS	2006	DBLP DOI BibTeX RDF	computational complexity, data integration, dependencies, data exchange, schema mapping, inverse, chase, second-order logic, metadata model management
17	Fredrik Hekland, Tor A. Ramstad	Digitising the 2: 1 Shannon Mappings for Transport over Heterogeneous Networks.	DCC	2006	DBLP DOI BibTeX RDF
17	Priti Patil, Jayant R. Haritsa	Holistic Schema Mappings for XML-on-RDBMS.	DASFAA	2006	DBLP DOI BibTeX RDF
17	Barry O'Donnell, Paul F. Curran, Orla Feely	Bifurcation theory of a class of perturbed mappings.	ISCAS	2006	DBLP DOI BibTeX RDF
17	Zinovy Diskin, Jürgen Dingel	Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.	MoDELS	2006	DBLP DOI BibTeX RDF
17	Andrzej Bargiela, Witold Pedrycz	Granular mappings.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
17	Bruce N. Walker, Gregory Kramer	Mappings and metaphors in auditory displays: An experimental assessment.	ACM Trans. Appl. Percept.	2005	DBLP DOI BibTeX RDF	guidelines, metaphors, Sonification, auditory display, data mapping
17	Nicolas Gresset, Joseph Boutros, Loïc Brunel	Multidimensional Mappings for Iteratively Decoded BICM on Multiple-Antenna Channels.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
17	Claude Carlet, Cunsheng Ding, Jin Yuan	Linear codes from perfect nonlinear mappings and their secret sharing schemes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
17	Rafael Martí, Francisco Montes, Abdellah El-Fallahi	Approximating Unknown Mappings: An Experimental Evaluation.	J. Heuristics	2005	DBLP DOI BibTeX RDF	data mining, prediction, metaheuristics, statistical regression
17	Roman N. Karasev	Partitions of a Polytope and Mappings of a Point Set to Facets.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
17	Siavash Zokai, George Wolberg	Image Registration Using Log-Polar Mappings for Recovery of Large-Scale Similarity and Projective Transformations.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
17	Raymond Leung, David S. Taubman	Perceptual mappings for visual quality enhancement in scalable video compression.	ICIP (2)	2005	DBLP DOI BibTeX RDF
17	Jaewoo Kang, Tae Sik Han, Dongwon Lee 0001, Prasenjit Mitra	Establishing value mappings using statistical models and user feedback.	CIKM	2005	DBLP DOI BibTeX RDF	semantic correspondences, value mapping, statistical model, user feedback
17	Per Kristian Lehre, Pauline C. Haddow	Accessibility between neutral networks in indirect genotype-phenotype mappings.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
17	Yuan An, Alexander Borgida, John Mylopoulos	Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
17	Christopher Carner, Miao Jin, Xianfeng Gu, Hong Qin 0001	Topology-driven Surface Mappings with Robust Feature Alignment.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	Riemannian surface, Surface parameterization
17	David Shafrir, Nir A. Sochen, Rachid Deriche	Regularization of Mappings Between Implicit Manifolds of Arbitrary Dimension and Codimension.	VLSM	2005	DBLP DOI BibTeX RDF
17	Taizo Shirai, Bart Preneel	On Feistel Ciphers Using Optimal Diffusion Mappings Across Multiple Rounds.	ASIACRYPT	2004	DBLP DOI BibTeX RDF	optimal diffusion mapping, active S-boxes, MDS, Feistel cipher
17	Katharina Probst, Alon Lavie	A Structurally Diverse Minimal Corpus for Eliciting Structural Mappings Between Languages.	AMTA	2004	DBLP DOI BibTeX RDF
17	Oded Shmueli, George A. Mihaila, Sriram Padmanabhan	Query-Customized Rewriting and Deployment of DB-to-XML Mappings.	EDBT	2004	DBLP DOI BibTeX RDF
17	Floris Wiesman, Nico Roos	Domain Independent Learning of Ontology Mappings.	AAMAS	2004	DBLP DOI BibTeX RDF
17	Boris Böhlen	Specific Graph Models and Their Mappings to a Common Model.	AGTIVE	2003	DBLP DOI BibTeX RDF
17	Jaco Geldenhuys, Antti Valmari	A Nearly Memory-Optimal Data Structure for Sets and Mappings.	SPIN	2003	DBLP DOI BibTeX RDF
17	Maya Ramanath, Juliana Freire, Jayant R. Haritsa, Prasan Roy	Searching for Efficient XML-to-Relational Mappings.	Xsym	2003	DBLP DOI BibTeX RDF
17	Millist W. Vincent, Jixue Liu, Chengfei Liu	Redundancy Free Mappings from Relations to XML.	WAIM	2003	DBLP DOI BibTeX RDF
17	Mohamed F. Mokbel, Walid G. Aref	On Querz Processing and Optimality Using Spectral Locality-Preserving Mappings.	SSTD	2003	DBLP DOI BibTeX RDF
17	Helger Lipmaa	On Differential Properties of Pseudo-Hadamard Transform and Related Mappings.	INDOCRYPT	2002	DBLP DOI BibTeX RDF	differential probability, Pseudo-Hadamard Transform, Twofish, linear functions
17	Elzbieta Pekalska, Robert P. W. Duin	Spatial Representation of Dissimilarity Data via Lower-Complexity Linear and Nonlinear Mappings.	SSPR/SPR	2002	DBLP DOI BibTeX RDF
17	Thomas Mandl 0001, Christa Womser-Hacker	Fusion Approaches for Mappings between Heterogeneous Ontologies.	ECDL	2001	DBLP DOI BibTeX RDF
17	Maria João Varanda Pereira, Pedro Rangel Henriques	Visualization/Animation of Programs based on Abstract Representations and Formal Mappings.	HCC	2001	DBLP DOI BibTeX RDF
17	Meike Klettke, Holger Meyer 0001	XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics.	WebDB (Selected Papers)	2000	DBLP DOI BibTeX RDF	Partitioned Normal Form (PNF), XML, Mapping, DTD, Object-relational Databases
17	Eladio Domínguez, María Antonia Zapata	Mappings and Interoperability: A Meta-modelling Approach.	ADVIS	2000	DBLP DOI BibTeX RDF
17	Alan A. Bertossi, Maria Cristina Pinotti	Mappings for Conflict-Free Access of Paths in Elementary Data Structures.	COCOON	2000	DBLP DOI BibTeX RDF
17	Girish Welling, Maximilian Ott	Customizing IDL Mappings and ORB Protocols.	Middleware	2000	DBLP DOI BibTeX RDF
17	James B. Armstrong, Muthucumaru Maheswaran, Mitchell D. Theys, Howard Jay Siegel, Mark A. Nichols, Kenneth H. Casey	Parallel Image Correlation: Case Study to Examine Trade-Offs in Algorithm-to-Machine Mappings.	J. Supercomput.	1998	DBLP DOI BibTeX RDF	nCUBE 2, PASM prototype, scalability, SIMD, MIMD, Intel Paragon, image correlation, mixed-mode, MasPar MP-1
17	Anders Åström, Robert Forchheimer, Per-Erik Danielsson	Intensity mappings within the context of near-sensor image processing.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
17	Fabien Coelho	Compiling Dynamic Mappings with Array Copies.	PPoPP	1997	DBLP DOI BibTeX RDF	FORTRAN
17	David P. Kopcso, Leo Pipino, William Rybolt, Anne Rybolt	The Human Machine Interface in Decision Support Systems: Comparing the Functional Mappings of Human Subjects to those Generated by Feedforward Neural Networks.	HICSS (2)	1996	DBLP DOI BibTeX RDF
17	Kaisa Nyberg	Differentially Uniform Mappings for Cryptography.	EUROCRYPT	1993	DBLP DOI BibTeX RDF
17	Shan-Hwei Nienhuys-Cheng, Peter A. Flach	Consistent Term Mappings, Term Partitions and Inverse Resolution.	EWSL	1991	DBLP DOI BibTeX RDF	Inverse resolution, absorption, substitution
17	L. Beneteau	The Symplectic Trilinear Mappings: An Algorithmic Approach of the Classification; Case of the Field GF(3).	AAECC	1990	DBLP DOI BibTeX RDF
17	Guozhu Dong	On the Composition and Decomposition of Datalog Program Mappings.	ICDT	1988	DBLP DOI BibTeX RDF
17	Juhani Karhumäki	The equivalence of mappings on languages.	IMYCS	1986	DBLP DOI BibTeX RDF
17	Don S. Batory	Conceptual-To-Internal Mappings in Commercial Database Systems.	PODS	1984	DBLP DOI BibTeX RDF
17	Arthur G. Duncan, Lawrence Yelowitz	Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.	ICALP	1979	DBLP DOI BibTeX RDF
17	Christian Choffrut	A Generalization of Ginsburg and Rose's Characterization of G-S-M Mappings.	ICALP	1979	DBLP DOI BibTeX RDF
17	Paolo Paolini, Giuseppe Pelagatti	Formal Definition of Mappings in a Data Base.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF
15	Florian Berger, Rolf Klein	A traveller's problem.	SCG	2010	DBLP DOI BibTeX RDF	affine mappings, continuous dijkstra, frogger, pseudo-polynomial approximation, computational geometry, partition, np-hardness, motion planning, undecidability
15	Hao-wei Hsieh, Katherine Pauls, Amber Jansen, Gautam Nimmagadda, Frank M. Shipman III	Assisting two-way mapping generation in hypermedia workspace.	HT	2010	DBLP DOI BibTeX RDF	editable visualizations, two-way mappings, information visualization, spatial hypertext, information workspace
15	Igor V. Konnov 0002	Solution Methods for Multivalued Variational Inequalities.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Multivalued mappings, Solution methods, Variational inequalities
15	Alex M. Rubinov	Nondifferentiable Optimization: Newton Method.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Variational inequality problem, Nonlinear complementary problem, Approximation of nonsmooth mappings, Semismooth mapping, Smoothing, Newton method, Superlinear convergence
15	Yanan Fan, Gareth W. Peters, Scott A. Sisson	Automating and evaluating reversible jump MCMC proposal distributions.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Between-model mappings, Path sampling, Transdimensional MCMC, Markov chain Monte Carlo, Density estimation, Reversible jump
15	Lu-Chuan Ceng, Qamrul Hasan Ansari, Jen-Chih Yao	Viscosity approximation methods for generalized equilibrium problems and fixed point problems.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Viscosity approximation method, Generalized equilibrium problem, Nonexpansive mappings, Strong convergence, Fixed points
15	Daya C. Wimalasuriya, Dejing Dou	Using multiple ontologies in information extraction.	CIKM	2009	DBLP DOI BibTeX RDF	ontologies, information extraction, mappings
15	Vânia Maria Ponte Vidal, Eveline R. Sacramento, José Antônio Fernandes de Macêdo, Marco A. Casanova	An Ontology-Based Framework for Geographic Data Integration.	ER Workshops	2009	DBLP DOI BibTeX RDF	Web Feature Service, ontologies, query processing, data integration, schema mappings, geographic information retrieval
15	Rick Salay, John Mylopoulos, Steve M. Easterbrook	Using Macromodels to Manage Collections of Related Models.	CAiSE	2009	DBLP DOI BibTeX RDF	Modeling, Mappings, Metamodeling, Relationships, Macromodeling
15	Victor Felea	A Strong Containment Problem for Queries in Conjunctive Form with Negation.	DBKDA	2009	DBLP DOI BibTeX RDF	containment mappings, Conjunctive queries, negation
15	Sebastian Boring, Marko Jurmu, Andreas Butz	Scroll, tilt or move it: using mobile phones to continuously control pointers on large public displays.	OZCHI	2009	DBLP DOI BibTeX RDF	input techniques/mappings, optical flow, accelerometers, target acquisition, fatigue, cursor control
15	Aurobi Das, V. Balakrishnan	A next generation smart energy technology.	ICIS	2009	DBLP DOI BibTeX RDF	Kyoto protocol, NASA surface meteorology and solar energy data on solar energy resources, SAP-SOA energy optimization model, acceptance index, energy service companies, enterprise SAP-SOA net weaver architecture, green house gas, market potential mappings, next generation smart-grid through pervasive computing, systems applications products in data processing, service-oriented-architecture, enterprise resource planning
15	Elimhan N. Mahmudov	Sufficient conditions for optimality for differential inclusions of parabolic type and duality.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Conjugate mappings, Conjugate function, Duality, Sufficient conditions, Subdifferential, Multivalued
15	Philip A. Bernstein, Todd J. Green, Sergey Melnik 0001, Alan Nash	Implementing mapping composition.	VLDB J.	2008	DBLP DOI BibTeX RDF	Mapping composition, Schema mappings, Model management
15	Qiang Wang 0012	Cyclotomic Mapping Permutation Polynomials over Finite Fields.	SSC	2007	DBLP DOI BibTeX RDF	cyclotomic mappings, generalized Lucas sequences, Dickson polynomials, finite fields, permutation polynomials
15	Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen	ORCHESTRA: facilitating collaborative data sharing.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	data integration, data exchange, data sharing, schema mappings, reconciliation
15	Bruno Baruque, Emilio Corchado, Hujun Yin, Jordi Rovira, Javier González 0007	Automated Ham Quality Classification Using Ensemble Unsupervised Mapping Models.	KES (2)	2007	DBLP DOI BibTeX RDF	food industry, ensembles, electronic nose, topology preserving mappings
15	Changzhong Wang, Congxin Wu, Degang Chen 0002	Homomorphisms Between Relation Information Systems.	RSKT	2007	DBLP DOI BibTeX RDF	Consistent functions, relation mappings, relation information systems, reduction, homomorphism
15	Andrea Caranti, Francesca Dalla Volta	The Round Functions of Cryptosystem PGM Generate the Symmetric Group.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	Permutation group mappings (PGM), exact-transversal logarithmic signatures, transversal group bases, primitive permutation groups, symmetric group
15	Daniel Wachsmuth	Numerical Solution of Optimal Control Problems with Convex Control Constraints.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	convex control constraints, set-valued mappings, Optimal control
15	Andrew M. Webb, Andruid Kerne, Eunyee Koh, Pranesh Joshi, YoungJoo Park, Ross Graeber	Choreographic buttons: promoting social interaction through human movement and clear affordances.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	Laban notation, choreographic buttons, computer-supported cooperative play, mappings, gesture, iterative design, movement
15	Salah Baïna, Hervé Panetto, Khalid Benali	Product Oriented Modelling and Interoperability Issues.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	Zachman, Models Transformations and Mappings, Model Driven Architecture, Process Modelling, Manufacturing Systems, Enterprise Integration, Systems Interoperability
15	Ehud Sharlin, Benjamin Watson 0001, Yoshifumi Kitamura, Fumio Kishino, Yuichi Itoh	On tangible user interfaces, humans and spatiality.	Pers. Ubiquitous Comput.	2004	DBLP DOI BibTeX RDF	Tangible user interfaces, Affordances, Design heuristics, Spatial mappings
15	W. O. David Griffioen, Frits W. Vaandrager	A theory of normed simulations.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	backward simulations, history variables, normed simulations, prophecy variables, Automata, computer-aided verification, refinement mappings, forward simulations
15	Cunsheng Ding, Xiaojian Tian	Three Constructions of Authentication Codes with Perfect Secrecy.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	perfect nonlinear mappings, cryptography, secrecy, authentication codes
15	Joon S. Park, Keith P. Costello, Teresa M. Neven, Josh A. Diosomito	A composite rbac approach for large, complex organizations.	SACMAT	2004	DBLP DOI BibTeX RDF	role structures, role-based access control, role mappings
15	Kellogg S. Booth, Brian D. Fisher, Chi Jui Raymond Lin, Ritchie Argue	The "mighty mouse" multi-screen collaboration tool.	UIST	2002	DBLP DOI BibTeX RDF	keyboard mappings, virtual network computing, collaboration, single display groupware, low-fidelity prototyping, cut-and-paste
15	Till Plewe, Ales Pultr, Anna Tozzi	Regular Monomorphisms of Hausdorff Frames.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Hausdorff property, regular monomorphisms resp. epimorphisms, quotient mappings, locales, frames
15	Albert T. Jones, Nenad Ivezic, Michael Grüninger	Toward Self-Integrating Software Applications for Supply Chain Management.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	equivalence metric, self-integration, ontology, semantics, mappings, supply chain management, inference, translators
15	Wafi Al-Karaghouli, Sarmad Alshawi, Guy Fitzgerald	Negotiating and Understanding Information Systems Requirements: The Use of Set Diagrams.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Knowledge gap, Understanding requirements, Specifications, Information technology, Mappings, Negotiation, Set theory, User requirements, Operational research, Information systems development, Venn diagrams
15	Parampalli Udaya, M. U. Siddiqi	Generalized GMW Quadriphase Sequences Satisfying the Welch Bound with Equality.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Quadriphase sequences, Nonlinear polynomial mappings, GGMW sequences, Spread spectrum systems, CDMA, Linear complexity, Galois rings, Pseudo random sequences, Sequence design, Finite rings
15	William E. McUmber, Betty H. C. Cheng	UML-Based Analysis of Embedded Systems Using a Mapping to VHDL.	HASE	1999	DBLP DOI BibTeX RDF	formal specifications, mappings, VHDL, Object-oriented modeling
15	Patrick M. Lenders, Sanjay V. Rajopadhye	Multirate VLSI Arrays and Their Synthesis.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	Application specific processor arrays, index transformations, VLSI signal processing, systolic arrays, space-time mappings
15	Cornelius W. A. M. van Overveld, Marie-Luce Viaud	Sticky Splines: Definition and Manipulation of Spline Structures with Maintained Topological Relations.	ACM Trans. Graph.	1996	DBLP DOI BibTeX RDF	affine and nonaffine mappings, branching structures, drawing system, splines, free-form deformation, geometric properties, topological constraints
15	Jeannette M. Wing, Mandana Vaziri	Model Checking Software Systems: A Case Study.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF	abstraction mappings, distributed systems, model checking, verification, finite state machines, cache coherence protocols
15	Horst Herrlich	CompactT0-spaces andT0-compactifications.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Extension closed and nearly closed subspaces ofT 0-spaces, compact spaces, compactifications, k-complete spaces, k-completions, Wallman compactifications, ech-Stone compactifications, extensions of mappings, C*-embeddings, E-compactifications, almost reflective and implicational subcategories ofTop
15	Marvin V. Zelkowitz	Use of an Environment Classification Model.	ICSE	1993	DBLP BibTeX RDF	environment frameworks, reference models, environment mappings, integrated environments
15	Nancy A. Lynch, Frits W. Vaandrager	Forward and Backward Simulations for Timing-Based Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	timing-based systems, backward simulations, forward-backward simulations, backward-forward simulations, history variables, prophecy variables, history relations, prophecy relations, Simulations, real-time, timed automata, refinement mappings, forward simulations
15	Liliana Díaz-Olavarrieta, Safwat G. Zaky	A new synthesis technique for multilevel combinational circuits.	EURO-DAC	1990	DBLP DOI BibTeX RDF	testing, mappings, synthesis, Combinational
15	Raymond T. Boute	Representational and Denotational Semantics of Digital Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	representational semantics, input/output transformation, abstract mathematical functions, function definitions, functional recast, mappings, digital arithmetic, denotational semantics, number theory, digital systems, digital systems
15	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering