Amanote Research

Amanote Research

    RegisterSign In

A Framework for the Specification of Active Rule Language Semantics

doi 10.14236/ewic/dbpl1995.22
Full Text
Open PDF
Abstract

Available in full text

Date

September 1, 1995

Authors
Danilo MontesiRiccardo Torlone
Publisher

BCS Learning & Development


Related search

Algebraic Framework for Synchronous Language Semantics

2013English

A LOTOS Framework for Middleware Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Language Semantics

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2003English

ARC: A Specification Language for Communicating Systems

Computer Journal
Computer Science
1998English

Framework Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

The Specification Language TLA+

Monographs in Theoretical Computer Science. An EATCS Series
2007English

The Specification Language of OBSCURE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

The IMAGE PROTECTOR - A Flexible Security Rule Specification Toolkit

2011English

A Rule-Based Ontological Framework for the Classification of Molecules

Journal of Biomedical Semantics
Computer NetworksComputer Science ApplicationsHealth InformaticsInformation SystemsCommunications
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy