Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)

Poster Presentation at LICS 2022 for my article at that conference

Poster Presentation at LICS 2022 for my article at that conference

	Anno
	
				2022
			
	Parole chiave
	
				regular expressions, process semantics, process graphs
			
	Appare nelle tipologie:
	
				4.3 Poster

File in questo prodotto:

Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12571/32244