Results 231 to 240 of about 209,691 (268)
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
Recent advances in ultrasound technology applications of vegetable oil refining
Trends in Food Science and Technology, 2021M Abbas Ali, Sook Chin Chew
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
Energy Efficiency Analysis of the Refining Unit in Thermo-Mechanical Pulp Mill
Energies, 2021Timo Laukkanen +2 more
exaly