Results 281 to 290 of about 57,211 (297)

SSB: Smart Contract Security Detection Tool Suitable for Industrial Control Scenarios. [PDF]

Sensors (Basel)
Tao C, He S, Shen X.
europepmc   +1 more source

An interpretable model based on concept and argumentation for tabular data. [PDF]

Sci Rep
Chi H, Wang D, Liao B, Cui G, Mao F.
europepmc   +1 more source

CoupleMDA: Metapath-Induced Structural-Semantic Coupling Network for miRNA-Disease Association Prediction. [PDF]

Int J Mol Sci
Li Z, Chen G, Tan G, Chen CY.
europepmc   +1 more source

Graph-augmented transformer ensemble framework for robust and scalable fake news detection in social media ecosystems. [PDF]

Sci Rep
Kumar C, Bansal M, Khan MA, Kaushik V, Arquam M, Alabdultif A.   +5 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Parameterized Structured Operational Semantics

Fundamenta Informaticae, 1998
A generalization of De Simone format, where labels of transitions are structured actions, is presented. This provides a parameterized SOS framework where several paradigms of the observational semantics of process calculi can be uniformly handled. Moreover, standard algebraic techniques provide the formal machineries to relate the different semantics.
FERRARI, GIAN-LUIGI, Montanari U.
openaire   +3 more sources

Structural Operational Semantics

2000
This appendix introduces the basics of structural operational semantics [171], which defines a labelled transition system over a term algebra. An up-to-date overview of structural operational semantics is given in [3].
Aceto, Luca, Fokkink, W., Verhoef, C.
openaire   +3 more sources

Structural operational semantics for AKL

Future Generation Computer Systems, 1992
Abstract The Andorra Kernel Language (AKL) is a concurrent constraint programming language. It can be seen as a general combination of logic programming languages such as Prolog, GHC, and Parlog, the first of which provides don't know nondeterminism, and the last two of which are concurrent logic programming languages.
Seif Haridi, Sverker Janson, Catuscia Palamidessi   +2 more
openaire   +1 more source

Structural Operational Semantics of P Systems

2006
The paper formally describes an operational semantics of P systems. We present an abstract syntax of P systems, then the notion of configurations, and we define the sets of inference rules corresponding to the three stages of an evolution step: maximal parallel rewriting, parallel communication, and parallel dissolving.
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu   +2 more
openaire   +1 more source