Going thru boxes of misc journals from the early 90s, with articles like "Extended Colored Petri Nets: An Efficient Tool for Analyzing Concurrent Systems" and "On Three-Way Two-Dimensional Multicounter Automata." Resisting the urge to re-read ...
11:06 AM - 2 Sep 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.