Results 81 to 90 of about 435,235 (283)
Enhancing Formal Methods Integration with ACP2Petri
Journal of Information and Organizational Sciences, 2016 The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension ...
Slavomír Šimoňák, Martin Šolc
doaj
Prolongation Algebra and Backlund Transformations of Drinfeld-Sokolov System of Equations
, 2001 We show that the Drinfeld-Sokolov system of equations has a nontrivial prolongation structure. The closure process for prolongation algebra gives rise to the sl(4,c) algebra which is used to derive the scattering problem for the system of equations under
Karasu, Ayse, Yurdusen, Ismet
core +1 more source
Advanced Science, EarlyView.A multifunctional terahertz (THz) platform is demonstrated, in a model material Fe4Nb2O9, exhibiting a large intrinsic THz phase shift alongside distinct THz magnon excitations in its antiferromagnetic phase. This coexistence of phase modulation and spin dynamics offers a promising pathway toward integrated THz communication and magnonic computation ...
Brijesh Singh Mehra +10 more
wiley +1 more source
Web Services: A Process Algebra Approach [PDF]
, 2004 It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and verification of WSs using process algebras and their tools.
Ferrara, Andrea
core
Meanders and the Temperley-Lieb algebra
, 1996 The statistics of meanders is studied in connection with the Temperley-Lieb algebra. Each (multi-component) meander corresponds to a pair of reduced elements of the algebra.
A. Phillips +11 more
core +2 more sources
Process algebra with combinators
, 2006 We introduce typed combinatory process algebra, a system combining process algebra with types and combinators. We describe its syntax and semantics, and by way of example, verify within this frame-work the Simple Alternating Bit Protocol.
Jan A. Bergstra +2 more
openaire +2 more sources
Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections
Advanced Electronic Materials, EarlyView.The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley +1 more source
Analysis of a Multimedia Stream using Stochastic Process Algebra [PDF]
, 1998 It is now well recognised that the next generation of distributed systems will be distributed multimedia systems. Central to multimedia systems is quality of service, which defines the non-functional requirements on the system.
Bowman, Howard +2 more
core
A selection-quotient process for packed word Hopf algebra
, 2013 In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection-quotient coproduct. We show that this algebra is free on its irreducible packed words.
Duchamp, G. H. E. +2 more
core +1 more source
Electronic Notes in Theoretical Computer Science, 2006 AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathematics other than the analysis of concurrent computation could or indeed should its basic approach be applied? In particular, I identify the two areas of reductionism and model comprehension, upon which I believe that process algebra has the potential to ...
openaire +1 more source