村上 昌己

Contextual transition system for π-calculus 

Proceedings of 2014 Science and Information Conference, SAI 2014 133-139 2014年10月7日  

A graphical structure rewriting model for concurrent system with higher-order streaming communication 

2013 3rd International Conference on Innovative Computing Technology, INTECH 2013 526-531 2013年  

Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. 

Seventh International Symposium on Theoretical Aspects of Software Engineering(TASE) 149-152 2013年  

Partial evaluation of communicating processes with temporal formulas and its application 

Advances in Intelligent and Soft Computing 166 AISC(VOL. 1) 901-909 2012年  

A model of higher-order concurrent programs based on graph rewriting 

Emerging Topics on Differential Geometry and Graph Theory 373-394 2011年1月1日  

Congruence results of weak equivalence for a graph rewriting model of concurrent programs with higher-order communication 

Communications in Computer and Information Science 154 CCIS 171-180 2011年  

Behavioural equivalence for a graph rewriting model of concurrent programs 

World Review of Science, Technology and Sustainable Development 7(1-2) 169-180 2010年3月  

On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. 

The thirty-second Communicating Process Architectures Conference(CPA) 49-66 2009年  

Congruence results of behavioral equivalence for a graph rewriting model of concurrent programs 

5th International Conference on Information Technology and Applications, ICITA 2008 636-641 2008年  

A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication. 

International Conference on Theoretical and Mathematical Foundations of Computer Science(TMFCS) 80-87 2008年  

Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. 

Theoretical Aspects of Computing - ICTAC 2008(ICTAC) 243-257 2008年  

Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. 

Proceedings of the 2007 International Conference on Foundations of Computer Science(FCS) 369 2007年  

A Model of Access Control for Data Materials Based on Ambient Calculus. 

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers 811-820 2006年  

A formal model of concurrent systems based on bipartite directed acyclic graph. 

Science of Computer Programming 61(1) 38-47 2006年  

Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph. 

Proceedings of the International Conference on Software Engineering Research and Practice 80-86 2005年  

A calculus for concurrent system with higher-order streaming communication. 

Science of Computer Programming 57(1) 61-72 2005年  

A Calculus for Concurrent System with Higher-Order Streaming Communication. 

Proceedings of the International Conference on Software Engineering Research and Practice 90-96 2004年  

A model of runtime transformation for distributed systems based on directed acyclic graph model. 

Journal of Systems Architecture 50(7) 417-425 2004年  

A Runtime Transformation Method for Distributed Systems. 

Proceedings of the International Conference on Software Engineering Research and Practice 119-125 2003年  

Evolvable concurrent processes. 

Computer Standards & Interfaces 25(3) 233-239 2003年