%0 Conference Paper %1 conf/mpc/BackMS95 %A Back, Ralph-Johan %A Martin, Alain J. %A Sere, Kaisa %B MPC %D 1995 %E Möller, Bernhard %I Springer %K dblp %P 159-179 %T An Action System Specification of the Caltech Asynchronous Microprocessor. %U http://dblp.uni-trier.de/db/conf/mpc/mpc95.html#BackMS95 %V 947 %@ 3-540-60117-1

@inproceedings{conf/mpc/BackMS95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Back, Ralph-Johan and Martin, Alain J. and Sere, Kaisa}, biburl = {https://www.bibsonomy.org/bibtex/2f148d1fd7bd3ea3724507d4d5cfdf636/dblp}, booktitle = {MPC}, crossref = {conf/mpc/1995}, editor = {Möller, Bernhard}, ee = {https://doi.org/10.1007/3-540-60117-1_9}, interhash = {0df5a1310a8790731df6f59e31bfe078}, intrahash = {f148d1fd7bd3ea3724507d4d5cfdf636}, isbn = {3-540-60117-1}, keywords = {dblp}, pages = {159-179}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:29:38.000+0200}, title = {An Action System Specification of the Caltech Asynchronous Microprocessor.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc95.html#BackMS95}, volume = 947, year = 1995 }