An Algebra of Hierarchical Graphs and its Application to Structural Encoding [PDF]
Scientific Annals of Computer Science, 2010 We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph.
R. Bruni, F. Gadducci, A. Lluch Lafuente
doaj +4 more sources
Exceptions for algebraic specifications: on the meaning of “but”
Science of Computer Programming, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pierre-Yves Schobbens
exaly +2 more sources
CryptoShield-multilayered cryptographic framework for enhanced security and robust communication systems. [PDF]
Sci RepInterconnected and latency-sensitive systems require cryptographic designs that deliver authenticated confidentiality with predictable cost on constrained hardware.
Altaf M +4 more
europepmc +2 more sources
A Numerical Investigation of Encapsulated Phase Change Materials Melting Process via Enthalpy-Porosity Approach [PDF]
Iranian Journal of Chemistry & Chemical Engineering, 2023 Today, with the increasing need for energy and the limitation of fossil fuels as depleting and polluting sources of the environment, the need to use more renewable energy sources is felt.
Moustafa Ghorbany +2 more
doaj +1 more source
Testing Java implementations of algebraic specifications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations.
Isabel Nunes, Filipe Luís
doaj +1 more source
Rascal: From Algebraic Specification to Meta-Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on ...
Jeroen van den Bos +4 more
doaj +1 more source
The role of logical interpretations in program development [PDF]
Logical Methods in Computer Science, 2014 Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the
Manuel A. Martins +2 more
doaj +1 more source
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
Scientific Annals of Computer Science, 2020 The notion of a most general algebraic specification of an arithmetical datatype of characteristic zero is introduced. Three examples of such specifications are given. A preference is formulated for a specification by means of infinitely many equations
Jan A. Bergstra
doaj +1 more source
Deriving semantics from WS-BPEL specifications of parallel business processes on an example [PDF]
Компьютерные исследования и моделирование, 2015 WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms.
Vladimir Dimitrov
doaj +1 more source
Towards reduction of Paradigm coordination models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at a detailed and a global level of abstraction.
Suzana Andova +2 more
doaj +1 more source