Results 131 to 140 of about 169 (168)
Some of the next articles are maybe not open access.
1990
We investigate equivalence notions for concurrent systems. We consider “linear time” approaches where the system behaviour is characterised as the set of possible runs as well as “branching time” approaches where the conflict structure of systems is taken into account. We show that the usual interleaving equivalences, and also the equivalences based on
Rob van Glabbeek, Ursula Goltz
openaire +3 more sources
We investigate equivalence notions for concurrent systems. We consider “linear time” approaches where the system behaviour is characterised as the set of possible runs as well as “branching time” approaches where the conflict structure of systems is taken into account. We show that the usual interleaving equivalences, and also the equivalences based on
Rob van Glabbeek, Ursula Goltz
openaire +3 more sources
Scientific American, 1919
<div class="htmlview paragraph">A short account of the discovery and early development of the oils in the Appalachian Field is followed by a description of several oil-testing instruments and of modern refinery practice with diagrams and drawings.
openaire +1 more source
<div class="htmlview paragraph">A short account of the discovery and early development of the oils in the Appalachian Field is followed by a description of several oil-testing instruments and of modern refinery practice with diagrams and drawings.
openaire +1 more source
Refinement and Confidentiality
1992As computer systems become more powerful and cheaper they permeate more of our everyday life. With this greater reliance on the automated processing and movement of our personal information comes a duty to demonstrate that computer systems are secure.
openaire +1 more source
Effect of solutes on grain refinement
Progress in Materials Science, 2022Hua Men, Zhongyun Fan
exaly
Efficient grain refinement of Al alloys induced by in-situ nanoparticles
Journal of Materials Science and Technology, 2022Hongxiang Jiang, Jiuzhou Zhao
exaly
Refine and gabriel: support for refinement and tactics
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., 2004Marcel Oliveira +2 more
openaire +2 more sources
Proceedings 22nd International Conference on Distributed Computing Systems, 2003
Murat Demirbas, Anish Arora
openaire +2 more sources
Murat Demirbas, Anish Arora
openaire +2 more sources
Joint X-ray and neutron refinement withphenix.refine
Acta Crystallographica Section D: Biological Crystallography, 2010Nigel Moriarty +2 more
exaly