CoFI: The Common Framework Initiative for Algebraic Specification and Development

Lecture Notes in Computer Science- Germany

doi 10.1007/bfb0030591

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Framework Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A LOTOS Framework for Middleware Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006Spanish

Algebraic Framework for Synchronous Language Semantics

2013English

A Neuroethics Framework for the Australian Brain Initiative

Neuron
Neuroscience
2019English

An Algebraic Framework for the Feature Interaction Problem

Real-Time Systems
2007English

The Dual Path Initiative Framework

SSRN Electronic Journal
2006English

Algebraic Specification of a Model Transformation Engine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

MetaChem: An Algebraic Framework for Artificial Chemistries

Artificial Life
BiochemistryGeneticsMolecular BiologyArtificial Intelligence
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy