Owen Stephens

According to our database, Owen Stephens authored at least 6 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Compositional specification and reachability checking of net systems.

Owen Stephens

PhD thesis, 2015

2014

Compositional Reachability in Petri Nets.

Julian Rathke, Pawel Sobocinski, Owen Stephens

Proceedings of the Reachability Problems - 8th International Workshop, 2014

A Programming Language for Spatial Distribution of Net Systems.

Pawel Sobocinski, Owen Stephens

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Decomposing Petri nets

Julian Rathke, Pawel Sobocinski, Owen Stephens

CoRR, 2013

Reachability via Compositionality in Petri nets

Pawel Sobocinski, Owen Stephens

CoRR, 2013

Penrose: Putting Compositionality to Work for Petri Net Reachability.

Pawel Sobocinski, Owen Stephens

Proceedings of the Algebra and Coalgebra in Computer Science, 2013