Work

Logic and Languages of Higher-Dimensional Automata

Year: 2024

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-66159-4_5

Authors: Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin

Institutions: École Pour l'Informatique et les Techniques Avancées, Centre National de la Recherche Scientifique, Université Paris Cité, Institut de Recherche en Informatique Fondamentale

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Award: Parametric Verification of Dynamic Distributed Systems

OpenAlex ID: W4401034119

FWCI: 3.284

Cites: 30

Cited by: 5

Related to: 10