Abstraction - Wikipedia, the free encyclopedia
Abstraction is the process or result of generalization by reducing the information content of a concept or an observable phenomenon, typically to retain only information which is relevant for a parti...
en.wikipedia.org/wiki/Abstraction
Abstract process - Wikipedia, the free encyclopedia
The term abstract process refers to abstractions as being distinguishable as processes— i.e. , as concepts which carry a meaning of functionality and operation with regard to other concepts. Withi...
en.wikipedia.org/wiki/Abstract_process
SESC commits to using the Basili model[1] of process abstraction to describe the role and relationships of its standards for processes. The Basili model provides three distinct levels of process abstraction -- reference, conceptual, and implementation.
standards.computer.org/sesc/s2esc_pols/FP-10_Process_Ab... standards.computer.org/sesc/s2esc_pols/FP-10_Process_Abstraction.htm
Home > Logical Inventory Layer Patterns > Process Abstraction; ... Agnostic Sub-Controller (Erl), Canonical Expression (Erl), Capability Composition (Erl), Entity Abstraction (Erl), Inventory Endpoint (Erl), Multi-Channel Endpoint (Roy), Non Agnostic Context (Erl), Process Centralization (Erl), Service Layers (Erl),
www.soapatterns.org/process_abstraction.asp www.soapatterns.org/process_abstraction.asp
Our work differs from existing work on process abstraction in that we abstract process expressions directly and take account of the particular property to be verified.
www.lfcs.inf.ed.ac.uk/reports/98/ECS-LFCS-98-380/
A PROCESS OF ABSTRACTION BY REPRESENTATIONS OF CONCEPTS N.C.Verhoef & H.G.B. Broekman University of Twente, Utrecht University The purpose of this article is to describe the integration of epistemological principles, theories about levels of argumentation, and different worlds of abstraction to address secondary...
www.emis.de/proceedings/PME29/PME29RRPapers/PME29Vol4Ve... www.emis.de/proceedings/PME29/PME29RRPapers/PME29Vol4VerhoefBroekman.pdf
PROCESS METHODS ... Coro - coroutine process abstractio ... Static methods are actually functions that operate on the current process only.
perl.enstimac.fr/perl5.6.1/site_perl/5.6.1/sun4-solaris... perl.enstimac.fr/perl5.6.1/site_perl/5.6.1/sun4-solaris/Coro.html
Process Abstraction in the Verification of Temporal Properties ... For both we provide logical characterisations, abstraction operations, and algebraic laws. Our work differs from existing work on process abstraction in that we abstract process expressions directly and take account of the particular property to be verified.
www.era.lib.ed.ac.uk/handle/1842/384
For both we provide logical characterisations, abstraction operations, and algebraic laws. Our work differs from existing work on process abstraction in that we abstract process expressions directly and take account of the particular property to be verified.
www.era.lib.ed.ac.uk/handle/1842/384?mode=full
rdfs:label A Modula-2 implementation of a real-time process abstraction. (xsd:string)
dblp.l3s.de/d2r/resource/publications/journals/sigplan/... dblp.l3s.de/d2r/resource/publications/journals/sigplan/BurnsDW88