Higher-Order, Linear, Concurrent Constraint Programming (1992)

View PDF

Download Links

by Vijay Saraswat , Patrick Lincoln
Citations:31 - 5 self

Active Bibliography

1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
42 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
548 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
481 Domain Theory – Samson Abramsky, Achim Jung - 1994