David Walker - RankMe

143 papers A* 31A 16B 5C 4Misc 13Journal 48Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Network Change Validation with Relational NetKAT. Proc. ACM Program. Lang. Han Xu, Zachary Kincaid, Ratul Mahajan, David Walker
2025	J	`jnl`	Automated Optimization of Parameterized Data-Plane Programs With Parasol. IEEE Trans. Netw. Mary Hogan, Devon Loehr, John Sonchack, Shir Landau Feibish, Jennifer Rexford, David Walker
2024	J	`jnl`	Automated Optimization of Parameterized Data-Plane Programs with Parasol. CoRR Mary Hogan, Devon Loehr, John Sonchack, Shir Landau Feibish, Jennifer Rexford, David Walker
2024	Misc	`conf`	Buffy: A Formal Language-Based Framework for Network Performance Analysis. HotNets Amir Seyhani, Junyi Zhao, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo
2024	J	`jnl`	Kirigami, the Verifiable Art of Network Cutting. IEEE/ACM Trans. Netw. Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2024	A*	`conf`	Relational Network Verification. SIGCOMM Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
2024	J	`jnl`	Relational Network Verification. CoRR Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
2024	Misc	`conf`	Sequence Abstractions for Flexible, Line-Rate Network Monitoring. NSDI Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker
2023	J	`jnl`	Modular Control Plane Verification via Temporal Invariants. Proc. ACM Program. Lang. Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2023	—	`conf`	NAP: Programming Data Planes with Approximate Data Structures. EuroP4@CoNEXT Mengying Pan, Hyojoon Kim, Jennifer Rexford, David Walker
2023	J	`jnl`	Saggitarius: A DSL for Specifying Grammatical Domains. CoRR Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
2023	J	`jnl`	Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
2023	C	`conf`	SwitchLog: A Logic Programming Language for Network Switches. PADL Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker
2023	Misc	`conf`	Test Coverage for Network Configurations. NSDI Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
2022	B	`conf`	ACORN: Network Control Plane Abstraction using Route Nondeterminism. FMCAD Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
2022	J	`jnl`	ACORN: Network Control Plane Abstraction using Route Nondeterminism. CoRR Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
2022	B	`conf`	Kirigami, the Verifiable Art of Network Cutting. ICNP Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022	J	`jnl`	Kirigami, the Verifiable Art of Network Cutting. CoRR Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022	J	`jnl`	Modular Control Plane Verification via Temporal Invariants. CoRR Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
2022	Misc	`conf`	Modular Switch Programming Under Resource Constraints. NSDI Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker
2022	J	`jnl`	Safe, modular packet pipeline programming. Proc. ACM Program. Lang. Devon Loehr, David Walker
2022	—	`conf`	Synthesizing state machines for data planes. SOSR Xiaoqi Chen, Andrew Johnson, Mengying Pan, David Walker
2022	J	`jnl`	Technical Report: Match-reference regular expressions and lenses. CoRR Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker
2022	J	`jnl`	Test Coverage for Network Configurations. CoRR Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
2021	J	`jnl`	Lucid: A Language for Control in the Data Plane. CoRR John Sonchack, Devon Loehr, Jennifer Rexford, David Walker
2021	A*	`conf`	Lucid: a language for control in the data plane. SIGCOMM John Sonchack, Devon Loehr, Jennifer Rexford, David Walker
2021	J	`jnl`	ProbNV: probabilistic verification of network control planes. Proc. ACM Program. Lang. Nick Giannarakis, Alexandra Silva, David Walker
2021	A*	`conf`	Test coverage metrics for the network. SIGCOMM Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
2020	J	`jnl`	Abstract interpretation of distributed network control planes. Proc. ACM Program. Lang. Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2020	—	`conf`	Adaptive Weighted Traffic Splitting in Programmable Data Planes. SOSR Kuo-Feng Hsu, Praveen Tammana, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker
2020	Misc	`conf`	Contra: A Programmable System for Performance-aware Routing. NSDI Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker
2020	J	`jnl`	Data-Driven Inference of Representation Invariants. CoRR Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020	A*	`conf`	Data-driven inference of representation invariants. PLDI Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
2020	Misc	`conf`	Elastic Switch Programming with P4All. HotNets Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison
2020	Misc	`conf`	Enabling Programmable Transport Protocols in High-Speed NICs. NSDI Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff
2020	A*	`conf`	NV: an intermediate language for verification of network control planes. PLDI Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
2019	J	`jnl`	Contra: A Programmable System for Performance-aware Routing. CoRR Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
2019	J	`jnl`	Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. Comput. Commun. Rev. Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2019	—	`conf`	Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. CAV (2) Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
2019	—	`conf`	NV: An intermediate language for network verification. NetPL@SIGCOMM Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
2019	J	`jnl`	Synthesizing symmetric lenses. Proc. ACM Program. Lang. Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	Control Plane Compression. CoRR Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2018	A*	`conf`	Control plane compression. SIGCOMM Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2018	J	`jnl`	Synthesizing Symmetric Lenses. CoRR Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	Synthesizing bijective lenses. Proc. ACM Program. Lang. Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	Synthesizing quotient lenses. Proc. ACM Program. Lang. Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2017	A*	`conf`	A General Approach to Network Configuration Verification. SIGCOMM Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
2017	Misc	`conf`	HotCocoa: Hardware Congestion Control Abstractions. HotNets Mina Tahmasbi Arashloo, Monia Ghobadi, Jennifer Rexford, David Walker
2017	A*	`conf`	Network configuration synthesis with abstract topologies. PLDI Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2017	—	`conf`	Programming Distributed Control Planes: Invited Demo: Demo. SOSR Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker
2017	J	`jnl`	Synthesizing Bijective Lenses. CoRR Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2016	—	`conf`	CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks. SOSR Naga Praveen Katta, Omid Alipourfard, Jennifer Rexford, David Walker
2016	Misc	`conf`	Compiling Path Queries. NSDI Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, David Walker
2016	A*	`conf`	Confluences in programming languages research (keynote). POPL David Walker
2016	A*	`conf`	Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. SIGCOMM Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
2016	A*	`conf`	Example-directed synthesis: a type-theoretic interpretation. POPL Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic
2016	Misc	`conf`	Hardware-Software Co-Design for Network Performance Measurement. HotNets Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Mohammad Alizadeh, David Walker, Jennifer Rexford, Vimalkumar Jeyakumar, Changhoon Kim
2016	A*	`conf`	SNAP: Stateful Network-Wide Abstractions for Packet Processing. SIGCOMM Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
2016	A*	`conf`	Temporal NetKAT. PLDI Ryan Beckett, Michael Greenberg, David Walker
2015	Misc	`conf`	CoVisor: A Compositional Hypervisor for Software-Defined Networks. NSDI Xin Jin, Jennifer Gossels, Jennifer Rexford, David Walker
2015	J	`jnl`	HONE: Joint Host-Network Traffic Management in Software-Defined Networks. J. Netw. Syst. Manag. Peng Sun, Minlan Yu, Michael J. Freedman, Jennifer Rexford, David Walker
2015	A*	`ed.`	Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 POPL Sriram K. Rajamani, David Walker
2015	J	`jnl`	SNAP: Stateful Network-Wide Abstractions for Packet Processing. CoRR Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
2015	—	`conf`	Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL Michael Greenberg, Kathleen Fisher, David Walker
2014	—	`conf`	An assertion language for debugging SDN applications. HotSDN Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker
2014	—	`conf`	Compiling path queries in software-defined networks. HotSDN Srinivas Narayana, Jennifer Rexford, David Walker
2014	A	`conf`	Concurrent NetCore: from policies to pipelines. ICFP Cole Schlesinger, Michael Greenberg, David Walker
2014	—	`conf`	Incremental update for a compositional SDN hypervisor. HotSDN Xin Jin, Jennifer Rexford, David Walker
2014	—	`conf`	Infinite CacheFlow in software-defined networks. HotSDN Naga Praveen Katta, Omid Alipourfard, Jennifer Rexford, David Walker
2014	J	`jnl`	Modular protections against non-control data attacks. J. Comput. Secur. Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn
2014	A*	`conf`	NetkAT: semantic foundations for networks. POPL Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
2014	J	`jnl`	P4: programming protocol-independent packet processors. Comput. Commun. Rev. Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, David Walker
2014	—	`conf`	Transparent, Live Migration of a Software-Defined Network. SoCC Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker
2013	Misc	`conf`	Composing Software Defined Networks. NSDI Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker
2013	—	`conf`	Incremental consistent updates. HotSDN Naga Praveen Katta, Jennifer Rexford, David Walker
2013	J	`jnl`	Languages for software-defined networks. IEEE Commun. Mag. Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison
2013	J	`jnl`	Modular SDN Programming with Pyretic. login Usenix Mag. Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker
2013	A	`conf`	Optimizing the "one big switch" abstraction in software-defined networks. CoNEXT Nanxi Kang, Zhenming Liu, Jennifer Rexford, David Walker
2013	J	`jnl`	Programming Protocol-Independent Packet Processors. CoRR Pat Bosshart, Dan Daly, Martin Izzard, Nick McKeown, Jennifer Rexford, Dan Talayco, Amin Vahdat, George Varghese, David Walker
2012	A*	`conf`	A compiler and run-time system for network programming languages. POPL Christopher Monsanto, Nate Foster, Rob Harrison, David Walker
2012	A*	`conf`	Abstractions for network update. SIGCOMM Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker
2012	C	`conf`	LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL Kenny Qili Zhu, Kathleen Fisher, David Walker
2012	A*	`conf`	Policy transformation in software defined networks. SIGCOMM Nanxi Kang, Joshua Reich, Jennifer Rexford, David Walker
2011	—	`conf`	A survey of the practice of computational science. SC State of the Practice Reports Prakash Prabhu, Thomas B. Jablin, Arun Raman, Yun Zhang, Jialu Huang, Hanjun Kim, Nick P. Johnson, Feng Liu, Soumyadeep Ghosh, Stephen R. Beard, Taewook Oh, Matthew Zoufaly, David Walker, David I. August
2011	Misc	`conf`	Consistent updates for software-defined networks: change you can believe in! HotNets Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker
2011	A	`conf`	Forest: a language and toolkit for programming with filestores. ICFP Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu
2011	A	`conf`	Frenetic: a network programming language. ICFP Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker
2011	—	`conf`	Linear maps. PLPV Shuvendu K. Lahiri, Shaz Qadeer, David Walker
2011	A	`conf`	Modular Protections against Non-control Data Attacks. CSF Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn
2011	A	`conf`	The PADS project: an overview. ICDT Kathleen Fisher, David Walker
2010	A*	`conf`	A context-free markup language for semi-structured text. PLDI Qian Xi, David Walker
2010	B	`conf`	Concurrent Separation Logic for Pipelined Parallelization. SAS Christian J. Bell, Andrew W. Appel, David Walker
2010	A	`conf`	Faulty Logic: Reasoning about Fault Tolerant Programs. ESOP Matthew L. Meola, David Walker
2010	—	`conf`	Frenetic: a high-level language for OpenFlow networks. PRESTO@CoNEXT Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker
2010	J	`jnl`	Incremental learning of system log formats. ACM SIGOPS Oper. Syst. Rev. Kenny Qili Zhu, Kathleen Fisher, David Walker
2010	A*	`conf`	Semantics and algorithms for data-dependent grammars. POPL Trevor Jim, Yitzhak Mandelbaum, David Walker
2010	J	`jnl`	The next 700 data description languages. J. ACM Kathleen Fisher, Yitzhak Mandelbaum, David Walker
2009	C	`conf`	Ad Hoc Data and the Token Ambiguity Problem. PADL Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu
2009	J	`jnl`	An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic
2009	J	`jnl`	Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. Lujo Bauer, Jay Ligatti, David Walker
2009	C	`conf`	Language support for processing distributed ad hoc data. PPDP Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker
2009	J	`jnl`	Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. Jay Ligatti, Lujo Bauer, David Walker
2008	J	`jnl`	AspectML: A polymorphic aspect-oriented functional programming language. ACM Trans. Program. Lang. Syst. Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
2008	A*	`conf`	From dirt to shovels: fully automatic tool generation from ad hoc data. POPL Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White
2008	—	`conf`	LearnPADS: automatic tool generation from ad hoc data. SIGMOD Conference Kathleen Fisher, David Walker, Kenny Qili Zhu
2007	A*	`conf`	Fault-tolerant typed assembly language. PLDI Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
2007	A*	`conf`	PADS/ML: a functional data description language. POPL Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer
2006	J	`jnl`	A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. Jay Ligatti, David Walker, Steve Zdancewic
2006	B	`conf`	Expressing heap-shape contracts in linear logic. GPCE Frances Perry, Limin Jia, David Walker
2006	A*	`conf`	Harmless advice. POPL Daniel S. Dantas, David Walker
2006	A	`conf`	ILC: A Foundation for Automated Reasoning About Pointer Programs. ESOP Limin Jia, David Walker
2006	—	`conf`	LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker
2006	—	`conf`	PADS: an end-to-end system for processing ad hoc data. SIGMOD Conference Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng
2006	A	`conf`	Static typing for a faulty lambda calculus. ICFP David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August
2006	A*	`conf`	The next 700 data description languages. POPL Kathleen Fisher, Yitzhak Mandelbaum, David Walker
2005	A*	`conf`	Certifying Compilation for a Language with Stack Allocation. LICS Limin Jia, Frances Spalding, David Walker, Neal Glew
2005	A*	`conf`	Composing security policies with polymer. PLDI Lujo Bauer, Jay Ligatti, David Walker
2005	J	`jnl`	Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec. Jay Ligatti, Lujo Bauer, David Walker
2005	A	`conf`	Enforcing Non-safety Security Policies with Program Monitors. ESORICS Jay Ligatti, Lujo Bauer, David Walker
2005	A	`conf`	Poly ICFP Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
2004	A	`conf`	Modal Proofs as Distributed Programs (Extended Abstract). ESOP Limin Jia, David Walker
2004	—	`conf`	Specifying Properties of Concurrent Computations in CLF. LFM@IJCAR Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
2003	—	`conf`	A Concurrent Logical Framework: The Propositional Fragment. TYPES Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
2003	A	`conf`	A theory of aspects. ICFP David Walker, Steve Zdancewic, Jay Ligatti
2003	A	`conf`	An effective theory of type refinements. ICFP Yitzhak Mandelbaum, David Walker, Robert Harper
2003	A*	`conf`	Reasoning about Hierarchical Storage. LICS Amal J. Ahmed, Limin Jia, David Walker
2003	J	`jnl`	Stack-based typed assembly language. J. Funct. Program. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
2003	—	`conf`	The logical approach to stack typing. TLDI Amal J. Ahmed, David Walker
2002	J	`jnl`	Stack-based typed assembly language. J. Funct. Program. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
2002	—	`conf`	Types and Effects for Non-interfering Program Monitors. ISSS Lujo Bauer, Jarred Ligatti, David Walker
2001	A	`conf`	On Regions and Linear Types. ICFP David Walker, Kevin Watkins
2000	A*	`conf`	A Type System for Expressive Security Policies. POPL David Walker
2000	—	`conf`	Alias Types for Recursive Data Structures. Types in Compilation David Walker, J. Gregory Morrisett
2000	A	`conf`	Alias Types. ESOP Frederick Smith, David Walker, J. Gregory Morrisett
2000	J	`jnl`	Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. David Walker, Karl Crary, J. Gregory Morrisett
1999	J	`jnl`	From system F to typed assembly language. ACM Trans. Program. Lang. Syst. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
1999	A*	`conf`	Typed Memory Management in a Calculus of Capabilities. POPL Karl Crary, David Walker, J. Gregory Morrisett
1998	A*	`conf`	From System F to Typed Assembly Language. POPL J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
1998	—	`conf`	Stack-Based Typed Assembly Language. Types in Compilation J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
1993	J	`jnl`	Modal Logics for Mobile Processes. Theor. Comput. Sci. Robin Milner, Joachim Parrow, David Walker
1992	J	`jnl`	A Calculus of Mobile Processes, I Inf. Comput. Robin Milner, Joachim Parrow, David Walker
1992	J	`jnl`	A Calculus of Mobile Processes, II Inf. Comput. Robin Milner, Joachim Parrow, David Walker
1991	B	`conf`	Modal Logics for Mobile Processes. CONCUR Robin Milner, Joachim Parrow, David Walker