Work

Linear Realisability over nets: multiplicatives (extended version)

Year: 2024

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Ragot, Adrien, Seiller, Thomas, Tortora de Falco, Lorenzo

Institutions: Roma Tre University, Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Università degli Studi Roma Tre, Agence Nationale de la Recherche, Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni

Award: Dynamical Systems and Computation: a logical approach

OpenAlex ID: W4404876191

FWCI:

Cites:

Cited by:

Related to: 10