home.social

#bisimulation — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #bisimulation, aggregated by home.social.

fetched live
  1. Benjamin Bisping @[email protected] ·

    Check out my presentations on #games, #bisimulation, and #ltl at #FLoC26 next week!

    #FLoC2026 #ProgramEquivalence #Lisbon

    #games #bisimulation #ltl #floc26 #floc2026 #programequivalence