Labeled Transition Systems

Stream: graph theory

[Pieter Cuijpers]

I'm interested in contributing some basic definitions and theorems regarding labeled transition systems, but got the feedback that this may fit better in a CSLib than in the Mathlib library. What is the view of the graph theory community on this? Would there be interesting connections from your point of view?

@Kim Morrison - did you have other questions in mind on this?

There would also be connections to co-algebra and in particular notions of bisimulation and other equivalences, but I can imagine that would go into CSLib as well...

[Kim Morrison]

My suggestion only goes as far as suggesring finding some others interested in the topic, and creating a repository downstream of Mathlib, so you can use the graph theory developed here, and then report back on how it goes!

[Kim Morrison]

I think the difficulty of a cslib is that it might be even less thematically unified than Mathlib. Moreover I think the problem the graph theorists are encountering -- that each application wants to have slightly different basic definitions -- will be even more extreme.

Hence I think the right way forward is to have some active TCS projects, and then see what makes sense to factor out into a common library.