Skip to content
<title>Channels - A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Search for more channels:
Similar Items: A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Channel Options
View Record
Explore related channels
Quick Look
Priced Timed Petri Nets
Quick Look
Structurally Cyclic Petri Nets
Quick Look
Separators in Continuous Petri Nets
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Event Structures for Petri nets with Persistence
Quick Look
The Safe Lambda Calculus
Quick Look
Resource Usage Analysis for the Pi-Calculus
Quick Look
Applying CEGAR to the Petri Net State Equation
Quick Look
Formalising the pi-calculus using nominal logic
Quick Look
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Quick Look
Contextual equivalence for higher-order pi-calculus revisited
Quick Look
The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
Quick Look
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
Quick Look
On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
Quick Look
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Quick Look
Type Reconstruction for the Linear pi-Calculus with Composite Regular Types
Quick Look
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Quick Look
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Quick Look
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Quick Look
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Quick Look
The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus
Quick Look
Petri Automata
Quick Look
Linear-use CPS translations in the Enriched Effect Calculus
Quick Look
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Load more items
View Record
Prev
Explore related channels
Next
