We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Biochemical Space Language in Relation to Multiset Rewriting Systems

Abstract: This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, while for an MRS, they are defined in terms of a set of runs. In this report, we relate BCSL to MRS by first showing how the transition system is related to a set of runs and consequently showing how for every BCSL model, an MRS can be constructed such that both represent the same set of runs. The motivation of this step is to establish BCSL in the context of a more general rewriting system and benefit from properties shown for them. Finally, we show that regulations defined for MRS can be consequently used in the BCSL model.
Comments: 9 pages, 8 figures
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)
Cite as: arXiv:2201.08817 [cs.LO]
  (or arXiv:2201.08817v1 [cs.LO] for this version)

Submission history

From: Matej Troják [view email]
[v1] Wed, 12 Jan 2022 15:08:36 GMT (26kb)

Link back to: arXiv, form interface, contact.