Results 11 to 20 of about 545,156 (279)

Confluence Detection for Transformations of Labelled Transition Systems [PDF]

, 2015
The development of complex component software systems can be made more manageable by first creating an abstract model and then incrementally adding details. Model transformation is an approach to add such details in a controlled way.
Wijs, Anton
core   +7 more sources

Formalising Confluence in PVS [PDF]

, 2016
Confluence is a critical property of computational systems which is related with determinism and non ambiguity and thus with other relevant computational attributes of functional specifications and rewriting system as termination and completion.
Ayala-Rincón, Mauricio
core   +2 more sources

Infinitary Combinatory Reduction Systems: Confluence [PDF]

, 2009
We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fully-extended, orthogonal iCRSs are confluent modulo identification of hypercollapsing subterms ...
Henk Barendregt, Jakob Simonsen, Jeroen Ketema   +2 more
core   +5 more sources

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems [PDF]

, 2011
We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity.
Aart Middeldorp, G. E. Peterson and M. E. Stickel, G. Huet, H. Gomi, M. Oyamaguchi, and Y. Ohta, J. Yoshida, T. Aoto, and Y. Toyama, J.-P. Jouannaud and H. Kirchner, L. Bachmair and N. Dershowitz, Takahito Aoto, V. van Oostrom, V. van Oostrom, Yoshihito Toyama   +10 more
core   +4 more sources

3D numerical simulation of the separation zone at the channel–pipe junction

Water Science and Technology, 2023
At the confluence zone, the separation zone affects the flow, pollutant transport, and damages the bed and sidewalls of the channel. In this research, the geometric characteristics of the separation zone and the tailwater effect at the 90° channel–pipe ...
Bin Sun, Linqin Feng, Zhiwei Li, Zhanqi Song, Cheng Li   +4 more
doaj   +1 more source

Influence of bed elevation discordance on flow patterns and head losses in an open-channel confluence [PDF]

, 2019
Confluences play a major role in the dynamics of networks of natural and man-made open channels, and field measurements on river confluences reveal that discordance in bed elevation is common.
Cunha Ramos, Pedro, De Mulder, Tom, Pêgo, João Pedro, Schindfessel, Laurent   +3 more
core   +1 more source

Immediate efficacy and persistent speed of kill of a novel oral formulation of afoxolaner (NexGardTM) against induced infestations with Ixodes ricinus ticks

Parasites & Vectors, 2014
Background Ticks are hematophageous arthropods that transmit a wide spectrum of pathogens to human and animals. The ability of an acaricidal product to kill ticks quickly provides an important added benefit, especially as protecting dogs from tick bites ...
Lénaïg Halos, Wilfried Lebon, Karine Chalvet-Monfray, Diane Larsen, Frederic Beugnet   +4 more
doaj   +1 more source

Ontology of functional synergetics in virtual cognitive-semiotic design of information processes and systems

Российский технологический журнал, 2022
Objectives. In view of the currently expanding practice of applying methods for configuring ontologies of designing information processes and systems, information technology (IT) specialists need to disclose the definition of such a new concept as ...
R. G. Bolbakov, V. A. Mordvinov, P. V. Berezkin, I. I. Sivitsky   +3 more
doaj   +1 more source

Confluence Reduction for Probabilistic Systems (extended version) [PDF]

, 2010
This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata.
Pol, Jaco van de, Stoelinga, Mariëlle, Timmer, Mark   +2 more
core   +6 more sources

Ground confluence [PDF]

, 1987
In this paper we introduce a test for confluence on ground terms. This test allows us to prove the ground confluence of term rewriting systems where the Knuth-Bendix Algorithm does not terminate. Ground Confluence of term rewriting systems is sufficient, if one is interested in congruences on ground terms.
openaire   +1 more source